Entry Barthe:2010:SMP 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{Barthe:2010:SMP,
author = "Gilles Barthe and Tamara Rezk and Alejandro Russo and
Andrei Sabelfeld",
title = "Security of multithreaded programs by compilation",
journal = j-TISSEC,
volume = "13",
number = "3",
pages = "21:1--21:??",
month = jul,
year = "2010",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1805974.1895977",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Wed Jul 28 14:57:15 MDT 2010",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "End-to-End security of mobile code requires that the
code neither intentionally nor accidentally propagates
sensitive information to an adversary. Although mobile
code is commonly multithreaded low-level code, there
lack enforcement mechanisms that ensure information
security for such programs. The modularity is
three-fold: we give modular extensions of sequential
semantics, sequential security typing, and sequential
security-type preserving compilation that allow us
enforcing security for multithreaded programs. Thanks
to the modularity, there are no more restrictions on
multithreaded source programs than on sequential ones,
and yet we guarantee that their compilations are
provably secure for a wide class of schedulers.",
acknowledgement = ack-nhfb,
articleno = "21",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "compilers; Noninterference; schedulers; type systems",
}
Related entries
- adversary,
10(4)6,
11(3)13,
11(4)19,
11(4)23,
14(4)28,
15(2)9,
15(3)12,
15(3)14,
17(2)7,
17(3)9,
17(3)11,
18(1)4,
18(2)5,
18(4)14
- 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(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(1)3,
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
- Although,
10(3)12,
12(2)8,
13(3)28,
13(4)35,
15(2)7,
17(1)3,
17(4)13
- class,
2(2)177,
9(4)391,
10(1)2,
10(1)3,
10(4)5,
11(2)1,
11(4)19,
12(1)2,
12(3)18,
12(4)20,
14(1)13,
16(1)2,
16(4)17,
18(2)5,
18(4)13
- code,
5(3)238,
6(2)258,
11(4)23,
12(2)10,
12(2)11,
12(3)14,
12(3)19,
13(1)10,
13(2)17,
15(1)2,
15(1)3,
15(2)10,
16(1)1,
16(2)6,
16(2)7,
16(3)9,
18(4)12
- commonly,
11(3)14,
11(3)16,
13(1)10,
16(2)7,
18(4)13
- compiler,
15(1)2,
17(4)13
- End, End-to-,
17(3)12
- End-to-End,
17(3)12
- enforcement,
2(1)65,
10(2)7,
11(1)3,
12(2)8,
12(3)19,
13(3)25,
13(3)28,
14(1)6,
14(1)14,
15(2)10,
15(3)13,
16(1)3,
17(1)3
- enforcing,
1(1)26,
2(1)34,
10(2)5,
12(2)8,
13(1)6,
14(3)25,
14(4)31,
16(1)1,
17(1)3
- ensure,
10(2)7,
10(3)10,
12(2)9,
12(3)14,
12(3)19,
12(4)20,
13(4)35,
14(1)13,
15(2)10,
17(2)6,
17(3)11,
18(1)2
- extension,
1(1)93,
2(1)105,
10(1)2,
10(3)10,
11(1)4,
12(3)16,
12(3)18,
16(1)4,
17(1)2,
17(2)7
- 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(4)39,
14(3)26,
16(1)3,
18(1)1
- guarantee,
2(2)159,
10(3)11,
10(4)4,
11(2)4,
11(2)5,
12(2)8,
12(2)9,
12(4)21,
15(1)3,
15(4)17,
18(1)4,
18(4)12
- intentionally,
11(3)15,
12(2)11
- lack,
11(4)17,
12(2)8,
13(3)28
- level, low-,
10(1)4,
15(2)8
- low-level,
10(1)4,
15(2)8
- 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)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(1)3,
16(2)5,
16(3)12,
17(1)3,
17(2)5,
17(3)10,
18(4)14
- mobile,
9(2)162,
10(1)2,
12(1)2,
12(3)15,
13(4)34
- modular,
7(3)363,
9(2)181,
12(4)21,
15(1)4,
17(2)7
- more,
2(1)3,
2(1)65,
2(3)332,
9(2)181,
9(4)391,
9(4)421,
9(4)461,
10(1)4,
10(3)9,
10(4)1,
10(4)4,
10(4)6,
11(2)3,
11(2)4,
11(2)6,
11(3)14,
11(4)21,
12(1)1,
12(2)8,
12(2)10,
12(2)12,
12(2)13,
12(3)18,
13(1)10,
13(3)20,
13(3)22,
13(3)28,
13(4)32,
13(4)34,
13(4)39,
14(3)27,
14(4)31,
15(1)2,
15(1)5,
15(2)8,
15(2)9,
15(3)11,
15(3)12,
15(4)16,
16(1)2,
16(2)8,
16(3)10,
16(3)11,
16(4)17,
17(1)2,
17(1)3,
17(3)9,
17(4)14,
17(4)16,
18(1)1,
18(3)11,
18(4)13
- neither,
2(4)390,
11(2)6,
14(1)5
- noninterference,
18(2)8
- nor,
2(4)390,
11(2)6,
14(1)5
- 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)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)3,
16(1)4,
16(3)9,
16(4)14,
17(2)8,
17(4)13,
18(1)1,
18(3)11,
18(4)13
- preserving,
7(1)21,
10(3)12,
12(3)16,
14(3)26
- program,
2(1)65,
2(3)332,
11(3)14,
12(1)1,
12(2)10,
12(2)11,
12(3)16,
12(3)19,
14(3)24,
15(1)2,
15(2)10,
16(2)7,
17(1)2,
17(3)11,
18(1)4
- propagate,
10(4)1,
14(1)7,
16(2)5
- provably,
7(2)206,
10(3)10,
11(2)4,
11(3)13,
12(3)18,
12(3)19,
12(4)21,
13(4)29,
16(4)15,
17(1)4
- require,
2(3)269,
10(1)2,
11(1)3,
11(2)2,
11(4)22,
12(1)3,
12(1)6,
12(3)16,
12(4)20,
13(3)20,
13(4)29,
13(4)33,
13(4)35,
13(4)40,
14(1)2,
14(3)27,
15(2)6,
15(4)16,
16(4)13,
17(2)5,
17(3)9,
17(3)10,
17(4)16,
18(1)2,
18(4)13
- restrictions,
1(1)26,
15(2)10
- secure,
1(1)93,
2(2)159,
2(2)177,
2(3)332,
2(4)390,
4(1)72,
4(2)103,
4(2)134,
4(4)321,
5(3)290,
6(4)472,
7(4)523,
9(1)1,
9(1)31,
9(1)94,
9(2)162,
9(4)461,
10(2)8,
10(3)10,
10(3)11,
10(4)3,
10(4)6,
11(2)4,
11(2)5,
11(3)13,
11(3)14,
11(4)18,
11(4)22,
11(4)23,
12(1)2,
12(1)3,
12(1)6,
12(3)16,
12(3)18,
12(4)21,
12(4)22,
13(1)9,
13(3)28,
13(4)29,
14(3)23,
14(3)27,
14(4)31,
15(2)6,
15(2)9,
16(3)11,
16(4)15,
17(2)5,
17(2)6,
17(4)13,
18(2)5,
18(4)13
- semantic,
1(1)93,
10(2)8,
10(4)2,
11(4)21,
12(2)13,
12(3)14,
13(2)12,
13(4)36,
14(3)25,
15(3)13,
16(1)1,
16(2)7,
17(1)2,
17(1)3,
17(2)7
- sensitive,
1(1)26,
2(2)159,
2(3)332,
6(1)1,
10(2)5,
10(2)7,
10(3)12,
12(2)9,
12(3)15,
13(3)22,
13(3)24
- sequential,
11(4)19,
12(1)3,
12(2)13
- source,
1(1)66,
5(3)238,
12(2)11,
12(2)13,
13(1)8,
14(1)8,
14(3)23,
14(3)25,
15(2)6,
15(3)13,
18(4)12
- than,
2(1)3,
2(1)65,
2(3)332,
9(4)391,
9(4)461,
10(1)4,
11(2)3,
11(2)6,
11(3)14,
12(1)1,
12(2)10,
12(3)16,
12(4)22,
13(1)10,
13(4)29,
13(4)31,
13(4)35,
14(3)27,
14(4)31,
15(1)5,
15(2)9,
15(2)10,
15(4)15,
15(4)16,
16(2)8,
16(4)17,
17(1)2,
17(3)9,
17(3)10,
17(3)12,
17(4)14,
17(4)16,
18(4)13
- there,
11(2)6,
12(1)2,
12(2)8,
12(4)20,
13(4)34,
14(1)9,
14(4)30,
14(4)31,
15(4)18,
16(1)4,
17(1)2
- to-End, End-,
17(3)12
- type,
10(1)2,
10(1)3,
10(3)11,
10(4)5,
11(2)1,
11(3)14,
12(1)1,
12(3)15,
13(3)25,
13(4)32,
15(2)7,
15(2)10,
16(1)4,
18(1)1,
18(3)9
- typing,
16(2)8
- wide,
11(4)19,
12(3)14,
14(1)10,
15(1)2,
15(4)15,
16(2)5,
16(2)7,
16(4)14,
16(4)17,
17(4)16
- yet,
11(4)17,
11(4)21,
12(1)6,
13(3)28,
13(4)35,
14(1)9,
18(4)13