<p>Given a system and a set of strongest security measures, a system administrator wants to optimally place these strongest security measures in appropriate places in the system to minimize the maximum damage caused by a potential attacker who comes with a budget <i>B</i>. In this article we model this scenario as follows. Let <i>T</i> be a network in the system with cost and prize assignments to edges and nodes, respectively. The problem of determining <i>k</i> appropriate edges for the <i>k</i> strongest security measures in the security system was shown to be <i>coNP</i>-hard, implying that a deterministic polynomial time algorithm most likely does not exist. We propose three methods to solve this problem. Here <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(d=deg(r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mi>d</mi> <mi>e</mi> <mi>g</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the root degree, <i>n</i> is the number of non-root vertices, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(c_{max}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is the maximum edge cost, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L=\sum _{v\ne r} p(v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>=</mo> <msub> <mo>∑</mo> <mrow> <mi>v</mi> <mo>≠</mo> <mi>r</mi> </mrow> </msub> <mi>p</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the total prize over all non-root nodes. First, conditioned on some reasonable assumptions and given any error constant <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\frac{1}{B}\le \epsilon \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mi>B</mi> </mfrac> <mo>≤</mo> <mi>ϵ</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, a polynomial time (<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(1+\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>+</mo> <mi>ϵ</mi> </mrow> </math></EquationSource> </InlineEquation>)-approximation algorithm with a time bound <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(O(d^2n(c_{max}n)^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>d</mi> <mn>2</mn> </msup> <mi>n</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is given. This approximation algorithm is fast and gives a reasonably good result. Second, given <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(B\le c_{max}n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>≤</mo> <msub> <mi>c</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, a <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(O(d^2n(c_{max}n)^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>d</mi> <mn>2</mn> </msup> <mi>n</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mrow> <mi mathvariant="italic">max</mi> </mrow> </msub> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> time algorithm is shown to give the exact solution to the problem. Third, given an error rate <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\epsilon &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and an accuracy parameter <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(k' \le k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>k</mi> <mo>′</mo> </msup> <mo>≤</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((1+\epsilon )^{k-k'}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>ϵ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>k</mi> <mo>-</mo> <msup> <mi>k</mi> <mo>′</mo> </msup> </mrow> </msup> </math></EquationSource> </InlineEquation> polynomial time approximation scheme is shown to solve the problem. The third approximation scheme has the running time of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(O((k-k')\frac{1}{\epsilon ^2}n^4\log L)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>-</mo> <msup> <mi>k</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mfrac> <mn>1</mn> <msup> <mi>ϵ</mi> <mn>2</mn> </msup> </mfrac> <msup> <mi>n</mi> <mn>4</mn> </msup> <mo>log</mo> <mi>L</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Consequently, we resolve the open problem posed by Mukdasanit and Kantabutra [18] concerning the case of placing <i>k</i> infinite costs on <i>k</i> edges.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Multi-points cyber defense (\(1+\epsilon \)) and \((1+\epsilon )^{k-k'}\)-approximation

  • Pimukthee Jaikla,
  • Sanpawat Kantabutra

摘要

Given a system and a set of strongest security measures, a system administrator wants to optimally place these strongest security measures in appropriate places in the system to minimize the maximum damage caused by a potential attacker who comes with a budget B. In this article we model this scenario as follows. Let T be a network in the system with cost and prize assignments to edges and nodes, respectively. The problem of determining k appropriate edges for the k strongest security measures in the security system was shown to be coNP-hard, implying that a deterministic polynomial time algorithm most likely does not exist. We propose three methods to solve this problem. Here \(d=deg(r)\) d = d e g ( r ) is the root degree, n is the number of non-root vertices, \(c_{max}\) c max is the maximum edge cost, and \(L=\sum _{v\ne r} p(v)\) L = v r p ( v ) is the total prize over all non-root nodes. First, conditioned on some reasonable assumptions and given any error constant \(\frac{1}{B}\le \epsilon \le 1\) 1 B ϵ 1 , a polynomial time ( \(1+\epsilon \) 1 + ϵ )-approximation algorithm with a time bound \(O(d^2n(c_{max}n)^2)\) O ( d 2 n ( c max n ) 2 ) is given. This approximation algorithm is fast and gives a reasonably good result. Second, given \(B\le c_{max}n\) B c max n , a \(O(d^2n(c_{max}n)^2)\) O ( d 2 n ( c max n ) 2 ) time algorithm is shown to give the exact solution to the problem. Third, given an error rate \(\epsilon > 0\) ϵ > 0 and an accuracy parameter \(k' \le k\) k k , the \((1+\epsilon )^{k-k'}\) ( 1 + ϵ ) k - k polynomial time approximation scheme is shown to solve the problem. The third approximation scheme has the running time of \(O((k-k')\frac{1}{\epsilon ^2}n^4\log L)\) O ( ( k - k ) 1 ϵ 2 n 4 log L ) . Consequently, we resolve the open problem posed by Mukdasanit and Kantabutra [18] concerning the case of placing k infinite costs on k edges.