Entry Basin:2013:ESP from tissec.bib
Last update: Sun Oct 15 02:58:48 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Basin:2013:ESP,
author = "David Basin and Vincent Jug{\'e} and Felix Klaedtke
and Eugen Zalinescu",
title = "Enforceable Security Policies Revisited",
journal = j-TISSEC,
volume = "16",
number = "1",
pages = "3:1--3:??",
month = jun,
year = "2013",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/2487222.2487225",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Fri Jun 14 19:25:26 MDT 2013",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We revisit Schneider's work on policy enforcement by
execution monitoring. We overcome limitations of
Schneider's setting by distinguishing between system
actions that are controllable by an enforcement
mechanism and those actions that are only observable,
that is, the enforcement mechanism sees them but cannot
prevent their execution. For this refined setting, we
give necessary and sufficient conditions on when a
security policy is enforceable. To state these
conditions, we generalize the standard notion of safety
properties. Our classification of system actions also
allows one, for example, to reason about the
enforceability of policies that involve timing
constraints. Furthermore, for different specification
languages, we investigate the decision problem of
whether a given policy is enforceable. We provide
complexity results and show how to synthesize an
enforcement mechanism from an enforceable policy.",
acknowledgement = ack-nhfb,
articleno = "3",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}
Related entries
- action,
2(2)177,
11(1)3,
11(4)21,
12(1)1,
12(2)12,
12(3)19,
13(4)30,
14(1)10,
14(4)28,
17(1)2,
17(4)13
- allow,
2(4)390,
9(2)181,
10(3)10,
10(4)2,
10(4)3,
11(1)2,
11(2)2,
11(2)4,
12(1)3,
12(1)6,
12(2)8,
12(2)10,
12(3)16,
12(3)18,
12(3)19,
13(3)21,
13(4)34,
13(4)38,
13(4)39,
13(4)41,
14(1)3,
14(1)5,
14(1)10,
14(3)25,
14(3)26,
14(3)27,
14(4)28,
14(4)29,
15(2)6,
15(2)9,
15(2)10,
16(2)5,
16(3)9,
16(4)13,
16(4)17,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)16,
18(3)10
- Basin, David,
14(2)16,
15(3)13,
15(4)15,
17(2)7
- cannot,
1(1)66,
2(2)177,
10(2)7,
11(3)12,
11(3)13,
12(1)5,
12(2)9,
12(3)14,
13(3)20,
13(4)39,
14(3)27,
15(2)6,
15(2)9,
15(4)17,
16(4)16
- classification,
2(3)295,
15(3)12,
18(3)11
- complexity,
2(1)65,
9(4)391,
9(4)421,
10(2)5,
10(4)5,
11(2)6,
12(3)16,
12(3)18,
12(4)20,
13(4)36,
13(4)40,
14(1)3,
14(1)14,
15(4)16,
16(1)4,
16(3)10,
17(4)16,
18(2)6,
18(3)10,
18(4)13
- condition,
1(1)26,
2(3)295,
10(4)1,
11(1)3,
11(2)2,
11(4)21,
12(2)11,
13(3)26,
17(1)2,
18(1)2,
18(2)5,
18(2)6
- constraint,
2(1)65,
3(4)207,
6(4)501,
7(3)392,
9(2)162,
10(1)2,
10(2)5,
10(2)7,
10(4)2,
11(1)3,
11(2)6,
11(3)14,
11(4)20,
12(2)8,
12(2)10,
12(3)19,
13(1)5,
13(3)22,
13(3)25,
13(4)40,
14(4)32,
15(2)10,
15(3)13,
15(4)15,
16(1)4,
16(4)17,
17(1)3,
17(2)8,
18(2)6
- controllable,
18(3)11
- decision,
1(1)3,
1(1)26,
10(4)2,
11(1)3,
14(1)3,
15(3)13,
16(4)16,
17(1)2,
18(1)3
- different,
1(1)26,
1(1)93,
2(1)105,
2(2)138,
2(3)269,
10(1)2,
10(1)4,
10(4)4,
12(1)3,
12(3)14,
13(1)10,
13(3)27,
13(3)28,
14(1)4,
14(4)28,
15(1)2,
15(2)7,
15(2)10,
16(2)7,
16(3)9,
16(4)15,
17(2)7,
17(4)14,
18(1)1,
18(3)11
- enforceable,
3(1)30,
12(3)19
- enforcement,
2(1)65,
10(2)7,
11(1)3,
12(2)8,
12(3)19,
13(3)21,
13(3)25,
13(3)28,
14(1)6,
14(1)14,
15(2)10,
15(3)13,
17(1)3
- example,
10(4)5,
12(1)1,
12(2)11,
12(3)19,
12(4)20,
13(3)20,
13(4)30,
13(4)35,
13(4)39,
13(4)40,
15(2)10,
16(2)5,
16(3)10,
17(1)2,
17(1)4,
18(1)1,
18(2)8,
18(4)13
- execution,
1(1)26,
10(4)3,
12(2)10,
12(2)11,
12(3)14,
14(1)6,
14(2)15,
14(4)32,
15(1)2,
15(2)10,
15(3)13,
16(2)6,
16(2)7,
18(1)2,
18(1)4
- furthermore,
2(3)295,
2(4)390,
10(4)2,
12(1)6,
12(4)20,
13(1)10,
13(3)26,
13(3)28,
13(4)32,
13(4)40,
14(1)4,
15(2)6,
17(2)7,
17(4)16
- generalize,
12(1)1,
13(3)25,
15(4)15,
16(1)4,
17(2)7,
18(4)12
- give,
9(4)391,
10(4)6,
11(2)4,
11(3)13,
11(4)22,
12(1)2,
12(1)6,
13(3)20,
13(3)21,
13(4)39,
14(3)26,
18(1)1
- given,
1(1)3,
1(1)93,
2(1)3,
2(1)105,
10(1)2,
10(2)5,
10(4)1,
11(2)3,
11(4)19,
11(4)20,
12(1)2,
12(1)5,
12(1)6,
12(3)14,
12(4)20,
13(1)10,
13(3)26,
14(3)26,
15(2)10,
15(3)12,
15(4)15,
16(1)4,
17(3)12
- how,
2(1)3,
2(2)138,
2(3)269,
7(2)319,
10(2)5,
10(2)8,
10(4)1,
10(4)2,
10(4)5,
11(3)13,
11(4)18,
12(1)2,
12(2)9,
12(2)12,
12(3)18,
12(3)19,
13(1)10,
13(2)13,
13(3)25,
13(4)31,
13(4)36,
14(1)2,
14(3)26,
15(1)5,
15(3)14,
15(4)15,
16(2)5,
16(2)8,
17(1)1,
17(1)2,
17(1)3,
17(4)15,
18(1)1,
18(1)3,
18(2)6,
18(3)9,
18(4)14
- investigate,
10(3)12,
11(2)6,
12(1)2,
15(2)7,
15(4)15,
16(2)8,
18(1)2
- involve,
12(4)21,
15(4)16
- language,
2(1)65,
9(4)391,
9(4)421,
10(1)3,
10(2)8,
11(1)2,
11(1)4,
11(4)21,
12(1)1,
12(2)12,
13(3)20,
13(3)24,
13(3)26,
13(3)28,
14(1)9,
15(1)2,
15(2)8,
16(3)9,
16(4)17,
17(1)2,
17(1)3
- limitation,
9(3)259,
10(2)8,
10(3)9,
11(1)4,
14(3)27,
14(4)30,
15(1)4,
16(2)7,
17(4)14
- mechanism,
2(2)177,
3(1)51,
10(2)8,
10(4)4,
10(4)6,
11(2)5,
11(3)12,
11(3)16,
12(1)4,
12(2)9,
12(2)11,
12(2)13,
12(3)15,
12(3)19,
12(4)22,
13(3)21,
13(3)24,
13(3)25,
13(3)28,
13(4)29,
14(1)3,
14(1)11,
14(3)24,
14(3)27,
15(1)5,
15(2)6,
15(2)10,
16(2)5,
16(3)12,
17(1)3,
17(2)5,
17(3)10,
18(4)14
- monitoring,
11(2)2,
12(2)13,
12(3)19,
13(2)12,
13(4)38,
14(1)13,
15(2)10,
16(2)7,
16(4)14
- necessary,
2(2)177,
2(4)416,
10(2)5,
11(3)16,
12(2)11,
12(3)16,
12(4)20,
14(1)13
- notion,
1(1)66,
2(1)65,
2(3)230,
9(2)181,
10(1)3,
10(4)2,
12(1)1,
12(1)6,
12(2)8,
12(4)20,
13(3)24,
13(3)27,
13(4)36,
14(1)4,
14(4)30,
17(2)7,
18(2)8,
18(3)10
- observable,
17(2)8
- one,
1(1)26,
1(1)93,
2(1)3,
2(1)65,
2(3)295,
9(4)461,
10(1)2,
10(2)5,
10(2)8,
10(3)12,
10(4)3,
11(2)6,
11(3)14,
12(1)1,
12(1)5,
12(2)13,
12(3)14,
13(3)21,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)3,
14(1)5,
14(4)30,
14(4)32,
15(2)10,
15(3)11,
15(4)16,
15(4)18,
16(1)4,
16(3)9,
16(4)14,
17(2)8,
17(4)13,
18(1)1,
18(3)11,
18(4)13
- only,
2(3)230,
2(3)295,
10(4)3,
11(1)3,
11(2)4,
11(3)13,
11(4)20,
12(1)2,
12(1)3,
12(2)13,
12(3)19,
12(4)21,
13(1)10,
13(3)25,
13(3)28,
13(4)35,
13(4)37,
13(4)39,
14(1)5,
14(1)11,
14(3)26,
14(4)31,
15(2)9,
15(4)16,
15(4)18,
16(2)6,
16(2)7,
16(3)9,
16(3)10,
16(4)13,
17(3)9,
17(4)15,
18(2)5,
18(2)8
- overcome,
14(4)31,
17(1)2
- prevent,
2(4)354,
13(1)10,
13(4)37,
14(1)11,
14(3)27,
15(1)2,
15(2)10,
16(1)1
- problem,
1(1)3,
2(3)269,
2(3)295,
5(3)238,
9(2)162,
9(4)391,
10(2)5,
10(2)8,
10(3)9,
10(3)10,
10(3)12,
10(4)1,
10(4)3,
11(2)2,
11(3)12,
11(3)15,
11(4)19,
12(1)2,
12(1)6,
12(2)9,
12(3)18,
12(4)20,
13(3)22,
13(3)26,
13(3)27,
13(4)33,
13(4)36,
13(4)40,
14(3)25,
14(4)31,
15(4)15,
15(4)18,
16(1)4,
16(3)11,
16(4)15,
17(2)8,
17(3)11,
17(4)15,
18(1)3
- property,
1(1)66,
1(1)93,
2(1)34,
2(2)177,
9(4)391,
10(1)2,
10(2)7,
10(2)8,
10(3)9,
11(1)2,
11(3)12,
11(3)13,
12(1)2,
12(1)3,
12(2)8,
12(2)9,
12(3)14,
12(3)18,
12(3)19,
12(4)21,
13(3)26,
13(4)41,
14(2)16,
15(1)4,
15(2)9,
15(2)10,
15(3)14,
15(4)18,
16(2)5,
17(1)3,
17(1)4,
18(1)3,
18(2)6,
18(2)8,
18(4)12
- provide,
1(1)3,
1(1)93,
2(1)3,
2(1)34,
2(1)65,
2(1)105,
2(3)230,
2(4)390,
7(2)319,
10(1)3,
10(2)8,
10(3)10,
10(4)2,
10(4)6,
11(1)3,
11(1)4,
11(2)2,
11(3)12,
11(3)13,
11(4)17,
11(4)20,
11(4)23,
12(1)2,
12(1)3,
12(2)8,
12(2)9,
12(3)14,
12(3)15,
12(3)16,
12(4)22,
13(3)22,
13(3)24,
13(4)31,
13(4)34,
13(4)38,
13(4)41,
14(1)4,
14(1)7,
14(1)8,
14(3)25,
14(4)28,
15(2)6,
15(2)10,
15(4)17,
15(4)18,
16(2)5,
16(3)9,
16(3)11,
16(4)17,
17(2)5,
17(3)11,
17(3)12,
17(4)16,
18(1)1,
18(1)2,
18(2)5,
18(2)7,
18(4)13,
18(4)14
- reason,
10(3)12,
11(2)2,
11(4)21,
12(1)1,
12(2)10,
18(2)8
- refined,
11(4)22,
12(2)8
- result,
1(1)3,
1(1)26,
2(3)230,
2(4)390,
9(2)162,
10(1)3,
10(1)4,
10(2)5,
10(2)6,
10(3)9,
10(3)11,
10(4)2,
10(4)5,
11(2)3,
11(2)5,
11(3)13,
11(3)15,
11(4)18,
11(4)20,
11(4)21,
11(4)22,
12(1)4,
12(2)9,
12(3)14,
12(3)17,
13(1)10,
13(3)22,
13(3)24,
13(3)25,
13(4)33,
13(4)35,
14(1)2,
14(1)14,
14(2)19,
15(1)5,
15(2)7,
15(2)8,
15(3)12,
15(3)13,
15(3)14,
15(4)15,
16(1)2,
16(2)5,
16(2)6,
16(2)7,
16(3)10,
16(3)11,
16(4)14,
16(4)17,
17(2)7,
17(3)9,
17(3)10,
17(3)12,
17(4)14,
18(1)4,
18(2)5,
18(2)6,
18(3)9,
18(3)11,
18(4)12,
18(4)13
- revisit,
13(4)33,
14(4)30,
16(4)15
- revisited,
13(1)3,
16(4)15
- safety,
4(2)158,
9(3)352,
9(4)391,
12(2)8,
12(3)19,
16(2)5
- see,
16(2)8
- setting,
2(4)390,
10(3)10,
12(1)6,
13(4)29,
16(3)10,
18(1)2,
18(2)8
- specification,
1(1)26,
2(1)65,
2(2)177,
3(4)207,
6(4)501,
8(2)187,
8(4)351,
10(2)7,
10(2)8,
10(3)9,
10(4)2,
11(1)4,
11(4)19,
13(3)24,
13(3)26,
14(3)24,
15(3)13,
15(4)16,
16(1)4,
16(4)13,
17(2)5,
17(4)16,
18(2)7,
18(2)8
- standard,
2(3)230,
2(4)416,
4(3)224,
7(2)319,
10(2)8,
10(3)11,
10(3)12,
11(1)4,
11(2)4,
12(1)1,
12(3)18,
13(3)28,
13(4)35,
13(4)37,
13(4)41,
15(1)2,
16(1)2,
16(3)10,
16(4)15,
17(3)11,
17(4)16,
18(4)14
- state,
1(1)93,
2(2)177,
10(2)5,
12(1)4,
12(1)5,
12(2)8,
12(4)20,
13(1)10,
13(3)20,
14(1)6,
14(1)10,
14(1)13,
14(4)32,
17(2)7,
18(1)3,
18(1)4
- sufficient,
2(3)295,
18(2)8
- synthesize,
10(3)10
- timing,
2(4)416,
12(2)13,
12(3)17,
12(4)22,
17(2)8
- when,
2(3)295,
10(2)7,
10(3)12,
10(4)4,
10(4)6,
11(2)3,
11(2)6,
11(3)15,
11(3)16,
11(4)17,
11(4)18,
12(2)10,
12(2)11,
12(4)20,
12(4)22,
13(1)10,
13(3)27,
13(4)32,
13(4)34,
13(4)35,
13(4)37,
15(2)6,
15(2)9,
15(2)10,
15(3)14,
16(2)8,
17(3)9,
17(4)13,
18(3)9,
18(4)12
- whether,
1(1)3,
1(1)26,
10(2)5,
10(4)2,
10(4)5,
11(2)3,
11(2)6,
11(3)16,
12(1)1,
12(4)20,
13(3)26,
13(4)40,
14(3)25,
14(4)32,
16(1)4,
17(1)1,
17(1)2
- work,
2(2)138,
2(3)269,
2(4)416,
10(3)10,
10(4)6,
11(2)2,
11(2)3,
11(3)15,
11(4)17,
11(4)19,
12(2)10,
12(2)11,
12(2)12,
12(3)16,
12(3)17,
12(3)18,
13(3)25,
13(4)38,
14(1)2,
14(1)14,
15(2)7,
15(2)10,
15(3)12,
15(4)15,
15(4)17,
16(1)4,
16(2)8,
16(3)10,
16(3)11,
16(4)13,
16(4)15,
17(3)12,
18(2)6,
18(4)13
- Zalinescu, Eugen,
15(1)3