Entry Bhargavan:2007:SSW 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{Bhargavan:2007:SSW,
author = "Karthikeyan Bhargavan and Ricardo Corin and C{\'e}dric
Fournet and Andrew D. Gordon",
title = "Secure sessions for {Web} services",
journal = j-TISSEC,
volume = "10",
number = "2",
pages = "8:1--8:??",
month = may,
year = "2007",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1237500.1237504",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Jun 12 17:52:05 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "We address the problem of securing sequences of SOAP
messages exchanged between web services and their
clients. The WS-Security standard defines basic
mechanisms to secure SOAP traffic, one message at a
time. For typical web services, however, using
WS-Security independently for each message is rather
inefficient; moreover, it is often important to secure
the integrity of a whole session, as well as each
message. To these ends, recent specifications provide
further SOAP-level mechanisms. WS-SecureConversation
defines security contexts, which can be used to secure
sessions between two parties. WS-Trust specifies how
security contexts are issued and obtained. We develop a
semantics for the main mechanisms of WS-Trust and
WS-SecureConversation, expressed as a library for
TulaFale, a formal scripting language for security
protocols. We model typical protocols relying on these
mechanisms and automatically prove their main security
properties. We also informally discuss some pitfalls
and limitations of these specifications.",
acknowledgement = ack-nhfb,
articleno = "8",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "Web services; XML security",
}
Related entries
- address,
2(1)65,
2(4)390,
10(3)12,
11(1)4,
11(2)3,
11(3)12,
12(2)11,
13(3)22,
13(3)26,
13(4)31,
13(4)38,
13(4)40,
14(1)3,
15(1)2,
15(2)6,
15(2)8,
16(3)11,
16(4)14,
17(1)1,
17(1)2,
17(1)4,
17(2)8,
17(3)11
- automatically,
12(2)10,
13(3)24,
14(1)2,
15(2)6,
15(4)18,
16(2)5,
16(2)7,
17(2)7,
17(4)13,
18(3)9
- basic,
2(4)354,
9(4)461,
10(1)4,
11(2)3,
11(3)12,
12(2)8,
13(3)27,
14(3)26,
14(4)31,
15(3)12,
17(4)13,
18(2)5
- Bhargavan, Karthikeyan,
15(1)3
- client,
2(3)230,
2(4)390,
10(4)4,
11(2)2,
11(3)16,
12(3)14,
12(3)16,
13(4)30,
14(1)12,
14(3)27,
14(4)32,
16(2)5,
16(3)11,
16(3)12,
16(4)13,
17(2)5,
17(4)15
- context,
7(3)392,
10(1)2,
10(3)12,
10(4)2,
11(3)13,
11(3)16,
12(3)18,
12(4)20,
14(1)2,
14(1)4,
15(1)2,
15(2)8,
15(4)16,
17(2)7,
17(3)12,
18(3)10
- Corin, Ricardo,
15(1)3
- define,
1(1)26,
2(2)177,
10(1)3,
10(1)4,
10(4)2,
10(4)5,
12(1)1,
12(3)19,
13(3)24,
13(3)27,
13(4)29,
13(4)36,
14(1)9,
14(1)14,
14(3)25,
16(1)4,
17(1)2,
17(1)4
- develop,
2(2)138,
10(3)9,
11(3)12,
12(1)4,
12(1)6,
12(3)14,
13(3)22,
13(3)27,
14(1)9,
14(4)32,
15(1)3,
15(2)9,
15(2)10,
16(2)7,
16(3)10,
17(1)2
- discuss,
2(1)105,
10(2)5,
11(1)2,
11(2)1,
12(4)20,
12(4)22,
13(3)22,
13(3)25,
13(4)35,
14(3)24,
17(1)3,
18(2)7
- each,
2(1)65,
2(2)138,
2(4)390,
9(4)421,
9(4)461,
10(1)4,
10(3)10,
10(3)12,
11(3)14,
11(4)18,
11(4)23,
12(1)6,
12(2)8,
12(2)10,
12(3)18,
12(4)20,
13(1)10,
13(4)29,
13(4)34,
14(3)25,
14(3)26,
14(3)27,
14(4)32,
15(1)2,
15(2)6,
16(4)14,
16(4)17,
17(2)8,
17(3)10,
17(3)12,
17(4)13,
18(1)4
- end,
9(4)461,
14(2)19,
15(1)2,
15(4)17,
17(3)10,
18(1)1,
18(2)7
- expressed,
2(1)65,
10(2)7,
16(4)17,
17(3)11
- formal,
2(1)65,
2(1)105,
8(4)351,
10(3)10,
10(4)2,
12(1)3,
12(3)19,
13(3)27,
14(1)9,
14(2)16,
16(4)17,
17(1)3,
18(1)4
- Fournet, Cédric,
10(3)9,
15(1)3
- further,
2(1)105,
2(3)230,
2(4)354,
10(3)12,
11(1)2,
11(3)15,
11(4)21,
12(2)11,
13(3)25,
13(3)27,
13(4)29,
13(4)30,
14(3)27,
15(2)7,
16(4)16,
16(4)17
- how,
2(1)3,
2(2)138,
2(3)269,
7(2)319,
10(2)5,
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(1)3,
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
- however,
2(3)269,
10(2)5,
11(2)6,
11(3)15,
11(4)18,
11(4)20,
11(4)22,
13(3)20,
13(3)22,
13(4)35,
13(4)38,
13(4)39,
14(1)14,
14(3)24,
14(4)28,
14(4)29,
15(2)10,
16(2)7,
16(3)11,
17(1)2,
17(1)4,
17(3)12,
17(4)15,
18(1)1,
18(2)7,
18(4)13
- important,
1(1)3,
1(1)66,
2(3)295,
11(3)14,
11(4)18,
11(4)20,
12(1)4,
13(3)26,
13(3)27,
13(4)36,
14(4)28,
15(3)12,
15(4)18,
16(1)4,
17(3)11
- independently,
12(1)6,
14(3)27,
15(4)17
- informally,
14(4)28
- integrity,
1(1)26,
1(1)93,
2(1)65,
2(1)105,
3(1)51,
10(3)11,
11(3)14,
12(1)6,
12(3)14,
13(1)4,
13(1)5,
13(3)25,
14(3)24,
17(2)6,
17(4)15,
18(2)5
- issued,
16(4)15
- language,
2(1)65,
9(4)391,
9(4)421,
10(1)3,
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(1)3,
16(3)9,
16(4)17,
17(1)2,
17(1)3
- library,
2(4)354,
12(2)10,
14(4)31,
15(1)2,
16(2)5,
16(3)9,
18(1)4
- limitation,
9(3)259,
10(3)9,
11(1)4,
14(3)27,
14(4)30,
15(1)4,
16(1)3,
16(2)7,
17(4)14
- main,
10(2)5,
11(3)13,
11(4)20,
13(3)27,
13(4)41
- mechanism,
2(2)177,
3(1)51,
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(1)3,
16(2)5,
16(3)12,
17(1)3,
17(2)5,
17(3)10,
18(4)14
- message,
2(2)177,
2(3)332,
9(4)461,
11(2)4,
11(2)6,
11(3)15,
11(4)23,
12(1)3,
13(4)31,
13(4)37,
14(4)32,
17(3)9,
17(4)13
- moreover,
2(4)416,
11(3)14,
12(1)1,
14(1)5,
14(3)27,
16(3)12,
16(4)15,
17(3)9,
17(3)10,
18(3)11
- obtained,
1(1)26,
10(1)2,
10(1)4,
11(3)13,
12(2)8,
12(3)18,
14(1)14,
16(4)14,
18(4)12
- often,
2(1)65,
10(1)4,
10(3)10,
10(3)12,
11(1)2,
11(3)12,
11(4)20,
16(2)5,
17(1)2,
17(1)4
- 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(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)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
- party,
9(4)421,
10(4)3,
11(2)4,
11(2)6,
12(1)6,
12(2)12,
13(3)22,
13(4)39,
14(4)29,
15(2)9,
17(3)9
- problem,
1(1)3,
2(3)269,
2(3)295,
5(3)238,
9(2)162,
9(4)391,
10(2)5,
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)3,
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(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(1)3,
16(2)5,
17(1)3,
17(1)4,
18(1)3,
18(2)6,
18(2)8,
18(4)12
- prove,
10(4)1,
11(2)6,
11(3)16,
11(4)18,
12(2)8,
12(3)16,
12(3)19,
13(3)28,
15(2)9,
16(1)4,
16(2)5,
16(4)17,
17(2)5,
17(4)15,
18(2)8
- 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(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(1)3,
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
- rather,
2(1)65,
2(3)332,
9(4)461,
12(3)16,
13(1)10,
13(4)31,
15(4)15,
18(4)13
- recent,
2(1)65,
2(2)138,
10(3)9,
11(1)2,
11(4)22,
12(1)2,
12(2)12,
14(1)7,
14(1)14,
14(4)29,
15(1)3,
16(2)7,
16(3)10,
18(1)1,
18(2)5,
18(2)7,
18(4)13
- relying,
9(4)421,
12(2)11,
12(3)16,
13(4)39
- scripting,
16(4)13
- 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(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)21,
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
- securing,
5(1)62,
10(1)2,
10(3)9,
10(3)11,
15(2)6
- semantic,
1(1)93,
10(4)2,
11(4)21,
12(2)13,
12(3)14,
13(2)12,
13(3)21,
13(4)36,
14(3)25,
15(3)13,
16(1)1,
16(2)7,
17(1)2,
17(1)3,
17(2)7
- sequence,
2(3)295,
13(3)20,
13(4)35,
14(4)32,
15(1)2,
15(2)10,
16(2)8
- service,
2(4)354,
4(4)453,
6(4)472,
10(1)2,
10(3)11,
10(4)4,
10(4)6,
11(1)2,
11(1)4,
11(3)15,
11(4)19,
12(2)12,
12(3)16,
13(4)38,
13(4)39,
13(4)41,
14(1)5,
14(3)23,
15(2)6,
15(3)12,
15(3)13,
16(2)5,
16(2)6,
16(3)11,
16(3)12,
16(4)14,
17(4)13,
17(4)15,
18(1)1,
18(1)2,
18(4)12,
18(4)13
- session,
2(3)332,
7(3)333,
10(4)2,
16(3)10,
16(4)15
- 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(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)3,
16(1)4,
16(4)13,
17(2)5,
17(4)16,
18(2)7,
18(2)8
- specify,
9(4)421,
15(2)6,
17(2)5,
17(2)7,
18(2)8
- standard,
2(3)230,
2(4)416,
4(3)224,
7(2)319,
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(1)3,
16(3)10,
16(4)15,
17(3)11,
17(4)16,
18(4)14
- time,
2(1)105,
2(3)332,
2(4)390,
2(4)416,
9(4)461,
10(1)3,
11(2)3,
11(2)4,
11(2)5,
11(3)13,
11(4)17,
11(4)20,
11(4)21,
11(4)23,
12(2)8,
12(3)17,
12(3)18,
12(3)19,
12(4)20,
12(4)21,
12(4)22,
13(4)37,
13(4)39,
14(1)2,
14(1)11,
14(1)14,
14(3)26,
14(4)31,
15(2)7,
15(3)12,
15(4)17,
16(1)4,
16(4)13,
16(4)14,
16(4)17,
17(3)9,
17(3)10,
17(3)11,
17(4)13,
18(1)2,
18(1)4,
18(3)10
- traffic,
2(3)269,
11(2)2,
11(2)3,
11(3)14,
12(2)13,
12(4)22,
15(2)6,
15(4)16,
17(1)4
- two,
1(1)26,
2(4)416,
9(4)391,
10(1)4,
10(2)6,
10(3)10,
10(4)4,
11(2)1,
11(2)4,
11(2)6,
11(3)13,
11(4)22,
12(1)2,
12(1)3,
12(1)4,
12(1)6,
12(3)14,
12(4)20,
13(3)22,
13(3)27,
13(4)40,
14(1)4,
14(1)5,
14(4)30,
15(1)2,
15(1)5,
15(2)6,
15(3)11,
15(3)12,
16(1)1,
16(1)2,
16(1)4,
16(3)9,
16(3)10,
16(4)15,
17(4)13,
18(2)5,
18(4)12,
18(4)13,
18(4)14
- typical,
11(4)20,
15(1)3,
16(1)2,
16(2)8
- used,
1(1)3,
2(1)65,
2(4)416,
7(2)319,
9(2)181,
10(1)2,
10(2)5,
10(2)7,
10(4)2,
11(1)2,
11(1)3,
11(2)3,
11(3)14,
11(3)15,
11(3)16,
11(4)21,
11(4)22,
12(2)8,
12(3)15,
13(1)10,
13(3)22,
13(3)25,
13(4)29,
13(4)34,
14(1)3,
14(1)12,
14(1)13,
14(3)27,
15(1)3,
15(1)5,
15(3)12,
15(4)17,
15(4)18,
16(2)7,
16(2)8,
16(3)10,
17(1)1,
17(2)7,
17(3)9,
17(4)13,
18(1)3,
18(2)5,
18(2)6,
18(3)9,
18(4)13,
18(4)14
- using,
2(2)138,
2(2)177,
2(3)332,
4(3)289,
6(2)258,
6(3)327,
9(2)113,
9(2)162,
9(2)181,
9(3)292,
9(3)325,
9(4)461,
10(1)4,
10(3)11,
10(4)3,
10(4)6,
11(1)2,
11(2)1,
11(2)2,
11(2)3,
11(3)14,
11(4)19,
11(4)21,
12(2)10,
12(2)11,
13(1)2,
13(1)8,
13(3)20,
13(3)26,
13(4)31,
13(4)35,
13(4)39,
14(1)3,
14(1)12,
14(1)14,
14(3)27,
15(1)2,
15(3)11,
15(3)12,
15(4)15,
15(4)17,
16(1)1,
16(1)2,
16(1)4,
16(2)5,
16(2)6,
16(3)10,
16(4)17,
17(1)1,
17(2)5,
17(3)10,
17(3)11,
17(4)13,
17(4)14,
17(4)16,
18(2)7,
18(2)8,
18(3)10,
18(3)11,
18(4)14
- web,
1(1)66,
2(1)34,
2(4)390,
4(1)37,
10(3)12,
11(1)4,
11(2)3,
11(3)15,
12(2)12,
12(3)17,
13(4)39,
14(2)21,
14(3)26,
16(4)13,
16(4)14,
16(4)16,
18(1)1
- well,
1(1)93,
10(1)2,
10(3)11,
10(3)12,
11(1)3,
11(1)4,
11(2)5,
11(3)15,
12(1)1,
12(1)3,
12(1)5,
12(2)10,
13(1)10,
13(3)26,
14(1)3,
14(1)5,
14(1)14,
14(3)23,
15(3)12,
15(4)15,
15(4)16,
15(4)18,
16(2)8,
17(3)9,
17(3)10,
17(3)11,
18(1)3,
18(2)5
- whole,
14(1)5,
17(2)6
- XML,
5(2)169,
5(3)290,
9(3)292,
9(4)421,
10(1)3,
10(4)4