440 likes | 580 Views
A learning-Based Approach to Reactive Security Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan , John C. Mitchell, Dawn Song, and Peter L. Bartlett. Adviser: Frank,Yeong -Sung Lin Present by Ying- Ju Chen. About this paper. Authors Adam Barth , UC Berkeley
E N D
A learning-Based Approach to Reactive SecurityAdam Barth, Benjamin I. P. Rubinstein, MukundSundararajan,John C. Mitchell, Dawn Song, and Peter L. Bartlett Adviser: Frank,Yeong-Sung Lin Present by Ying-Ju Chen
About this paper • Authors • Adam Barth, UC Berkeley • Dawn Song, UC Berkeley • Benjamin I. P. Rubinstein, UC Berkeley • Peter L. Bartlett, UC Berkeley • John C. Mitchell, Stanford University • MukundSundararajan, Google Inc., Mountain View, CA • Journal IEEE Transactions on Dependable and Secure Computing, IEEE Computer Society, 2011 • Conference 14th International Conference on Financial Cryptography and Data Security (FC 2010), 2010 • Impact factor: 1.409
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Introduction • This paper shows that despite the conventional wisdom that proactive security is superior to reactive security, reactive security can be competitive with proactive security as long as the reactive defender learns from past attacks instead of myopically overreacting to the last attack.
Introduction • Consider a game-theoretic modelwith a strategic attacker who responds to the defender’s strategy. • Attacker (worst-case assumptions) • Complete knowledge of the defender’s strategy • Do not be required to act rationally • Defender (conservative assumptions) • Do not know all the vulnerabilities in the system or the attacker’s incentives • Can observe the attacker’s past actions, for example via an intrusion detection system
Introduction • In this model, we find that two properties are sufficient for a reactive strategy to perform as well as the best proactive strategies • No single attack is catastrophic, meaning the defender can survive a number of attacks. This is consistent with situations where intrusions (that, say, steal credit card numbers) are regrettable but not business-ending. • The defender’s budget is liquid, meaning the defender can re-allocate resources without penalty.
Introduction • We view the act of defense as increasing the attacker’s cost for mounting an attackinstead of preventing the attack. • We evaluate the defender’s strategy by measuring the attacker’s cumulativereturn-on-investment, the return-on-attack (ROA).By studying this metric: • We focus on defenders who seek to “cutoff the attacker’s oxygen,” that is to reduce the attacker’s incentives for attackingthe enterprise. • We do not distinguish between “successful” and “unsuccessful” attacks. Instead, we compare the payoff the attacker receives from his or her nefarious deeds with the cost of performing said deeds.
Introduction • Although myopic bug chasing is most likely an ineffective reactive strategy, we find that in some situations a strategic reactive strategy is as effective as the optimal fixed proactive defense. • In fact, we find that the natural strategy of gradually reinforcing attacked edges by shifting budget from unattacked edges “learns” the attacker’s incentives and constructs an effective defense. • Such a strategic reactive strategy is both easier to implement than a proactive strategy. • It does not presume that the defender knows the attacker’s intent and capabilities. • It is less wasteful than a proactive strategy because the defender does not expend budget on attacks that do not actually occur.
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Formal Model • System • Incentives and Rewards • Attack Surface and Cost • Objective • Proactive security
Formal Model -System • Model a system using a directed graph (V, E), which defines the game between an attacker and a defender. • Each vertex v Vin the graph represents a state of the system. • Each edge e Erepresents a state transition the attacker can induce. • In attacking the system, the attacker selects a path in the graph that beginswith a designated start vertex s.
Formal Model -Incentives and Rewards • Model theattacker’s incentives by attaching a non-negative reward to each vertex. • Theserewards are the utility the attacker derives from driving the system into the staterepresented by the vertex. • Assume the start vertex has zero reward, forcing theattacker to undertake some action before earning utility. • Whenever the attackermounts an attack, the attacker receives a payoff equal to the sum of the rewardsof the vertices visited in the attack path:
Formal Model -Attack Surface and Cost • The defender has a fixed defense budget B >0. • The defender can divide among the edges in the graph according to a defense allocation d: for all e E, d(e)≥ 0 and ∑eєE d(e)≤ B. • Denote the set of feasible allocations of budget B on edge set E by DB, E.
Formal Model -Attack Surface and Cost • Each unit of budget the defender allocates to an edge raises the cost that the attacker must pay to use that edge in an attack. • Each edge has an attack surface wthat represents the difficulty in defending against that state transition. • For example, consider defending a hallway with bricks. The wider the hallway(the larger the attack surface), the more bricks (budget allocation) required tobuild a wall of a certain height (the cost to the attacker). • Formally, the attacker must pay the following cost to traverse the edge: cost( ɑ, d ) = ∑eєɑd(e)/w(e).
Formal Model -Objective • To evaluate defense strategies, we measure the attacker’s incentive for attacking using the return-on-attack (ROA), which we define as follows: • Use this metric for evaluating defense strategy becausethe believe that ifthe defender lowers the ROA sufficiently, the attacker will be discouraged fromattacking the system. • Analogousresults hold if we quantify the attacker’s incentives in terms of profit (e.g., withprofit(a, d) = payoff(a) -cost(a, d)), but we focus on ROA for simplicity.
Formal Model -Objective • A purely rational attacker will mount attacks that maximize ROA. However, a real attacker might not maximize ROA. • We strengthen our results by considering all attacks, not just those that maximize ROA.
Formal Model -Proactive Security • We evaluate our learning-based reactive approach by comparing it against a proactive approach to risk management. • We strengthen this benchmark by providing the proactive defender complete knowledge about the system, but we require that the defender commit to a fixed strategy. • We consider a rational proactive defender who employs a defense allocation that minimizes the maximum ROA the attacker can extract from the system: argmindmaxa ROA(a, d).
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Case Studies - Perimeter Defense • Consider a system in which the attacker’s reward is nonzero at exactly one vertex, t. • In such a system, a rational attacker will select the minimum-cost path from the start vertex s to the valuable vertex t. • The optimal defense limits the attacker’s ROA by maximizing the cost of the minimum s-t path. • The algorithm for constructing this defenseis straightforward : • Let C be the minimum weight s-t cut in (V, E, w). • Select the following defense:
Case Studies - Defense in Depth • Defense in depth rises naturally in our model as anoptimal defense for some systems.
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Reactive Security • To analyze reactive security, we model the attacker and defender as playing an iterative game, alternating moves. • First, the defender selects a defense, andthen the attacker selects an attack. • We present a learning-based reactive defensestrategy that is oblivious to vertex rewards and to edges that have not yet beenused in attacks.
Reactive Security- Repeated Game • Formalize the repeated game between the defender and the attacker as follows. In each round t from 1 to T: • The defender chooses defense allocation dt(e) over the edges eE. • The attacker chooses an attack path at in G. • The path ɑt and attack surfaces {w(e): e ɑt} are revealed to the defender. • The attacker pays cost(ɑt, dt) and gains payoff(ɑt). • In each round, we let the attacker choose the attack path after the defender commits to the defense allocation. • Following the “no security through obscurity” principle, we make the conservative assumption that the attacker can accurately determine the defender’s budget allocation.
Reactive Security-Defender knowledge • Unlike proactive defenders, reactive defenders do not know all of the vulnerabilities that exist in the system in advance. • Instead, we reveal an edge (and its attack surface) to the defender after the attacker uses the edge in an attack. • Formally, we definea reactive defense strategy to be a function from attack sequences {ɑi} and thesubsystem induced by the edges contained in to defense allocations suchthat d(e) = 0 if edge e . • Notice that this requires the defender’s strategyto be oblivious to the system beyond the edges used by the attacker.
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Advantages of Reactivity • Proactive defenses hinge on the defender’s modelof the attacker’s incentives. • If the defender’s model is inaccurate, the defenderwill construct a proactive defense that is far from optimal. • A reactivedefender need not reason about the attacker’s incentives directly. Instead, thereactive defender learns these incentives by observing the attacker in action.
Advantages of Reactivity • Learning Rewards • One way to model inaccuracies in the defender’s estimates of the attacker’s incentives is to hide the attacker’s rewards from the defender. • Robustness to Objective • Another way to model inaccuracies in the defender’sestimates of the attacker’sincentives is to assume the defender mistakeswhich of profit and ROA actually matter to the attacker.
Advantages of Reactivity • Catachresis • The defense constructed by the rational proactive defender is optimized for a rational attacker. • If the attacker is not perfectly rational, there is room for out-performing the rational proactive defense. • The attacker might not have complete knowledge of the attack graph. • The attacker might not have complete knowledge of the defense allocation.
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Agenda • Introduction • Formal Model • Case Studies • Reactive Security • Advantages of Reactivity • Conclusions
Conclusions • In this paper, we establish sufficient conditions fora learning-based reactive strategy to be competitive with the best fixed proactivedefense. • Additionally, we show that reactive defenders can out-perform proactivedefenders when the proactive defender defends against attacks that neveractually occur. • When determining how to allocate defense budget, defender should avoid overreactingto the most recent attack; instead, consider all previous attacks, but discountthe importance of past attacks exponentially.
Conclusions • For the parts of an enterprise where the defender’s budget is liquidand there are no catastrophic losses, a carefully constructed reactive strategy canbe as effective as the best proactive defense in the worst case and significantlybetter in the best case. • Many security experts equate reactive security with myopic bug-chasing and ignoreprincipled reactive strategies when they recommend adopting a proactiveapproach to risk management. • Instead of assuming that proactive security is always superior to reactivesecurity, we invite the reader to consider when a reactive approach might beappropriate.
Unknown vulnerabilities • Defender does not know all the vulnerabilities in the system in advance. 漏洞 防方本身擁有的資訊 防方系統所有資訊 防方擁有的私人資訊 攻方擁有的防方資訊 (local view) Attacker’slocal view
The LifeCycle of Vulnerabilities • 系統更新的時間點:Adobe 漏洞APSB09-15案例(2009年) 漏洞生命週期 攻擊者可進行攻擊的時間 Start attacking!! Time Line 白帽駭客/黑帽駭客發現漏洞 修補程式 發布 漏洞 攻擊被發現 使用者 安裝修補程式 原廠10/8公布 10/1發現 原廠10/13公布 漏洞對攻方的效用 漏洞生命 1 Attack 時間
Reward and Learning • Each node has a reward • Once being successfully attacked, the reward would be gained by the attacker. • Once being recovered, the reward would be retrieved by the defender. • Learningthrough the parameter β, β[0, 1). • This parameter plays a similar role tothe “learning rate” parameter used in gradient based learning algorithms • Controls how aggressively the defender reallocates defense budget to recently attacked edges. • Small: Movethe entire defense budget to the edge on the most recent attack path. • Close to 1: Leave the defense budget in the initial allocation. • An appropriatevalue of β: Converge to the optimal defense strategy.