Entry Abadi:2007:JFK 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{Abadi:2007:JFK,
author = "Mart{\'\i}n Abadi and Bruno Blanchet and C{\'e}dric
Fournet",
title = "Just fast keying in the pi calculus",
journal = j-TISSEC,
volume = "10",
number = "3",
pages = "9:1--9:??",
month = jul,
year = "2007",
CODEN = "ATISBQ",
DOI = "https://doi.org/10.1145/1266977.1266978",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Jun 12 17:52:14 MDT 2008",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
abstract = "JFK is a recent, attractive protocol for fast key
establishment as part of securing IP communication. In
this paper, we formally analyze this protocol in the
applied pi calculus (partly in terms of observational
equivalences and partly with the assistance of an
automatic protocol verifier). We treat JFK's core
security properties and also other properties that are
rarely articulated and rigorously studied, such as
plausible deniability and resistance to
denial-of-service attacks. In the course of this
analysis, we found some ambiguities and minor problems,
such as limitations in identity protection, but we
mostly obtain positive results about JFK. For this
purpose, we develop ideas and techniques that should be
more generally useful in the specification and
verification of security protocols.",
acknowledgement = ack-nhfb,
articleno = "9",
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
keywords = "IP security; key exchange; process calculus",
}
Related entries
- Abadi, Martín,
13(1)4,
15(2)8
- ambiguity,
1(1)93,
2(2)138
- analysis,
1(1)66,
2(1)34,
2(2)138,
2(3)230,
2(3)332,
4(1)1,
6(4)443,
7(2)175,
7(4)489,
8(3)312,
9(3)292,
9(4)391,
10(1)2,
10(3)10,
10(3)11,
10(4)2,
10(4)6,
11(2)3,
11(3)13,
11(3)15,
11(4)17,
11(4)18,
11(4)23,
12(1)4,
12(2)10,
12(3)16,
13(1)10,
13(3)25,
13(3)26,
13(3)27,
13(4)41,
14(1)6,
14(1)8,
14(1)13,
14(2)15,
14(4)28,
15(3)14,
15(4)17,
15(4)18,
16(1)2,
16(1)4,
16(2)8,
16(3)10,
16(3)11,
16(4)14,
16(4)17,
17(1)1,
17(1)4,
17(2)7,
17(3)9,
17(4)14,
18(1)1,
18(1)4,
18(2)6
- analyze,
2(3)230,
2(4)416,
9(4)421,
10(1)4,
10(4)5,
11(2)1,
11(2)3,
11(3)14,
11(3)15,
11(4)23,
12(3)16,
12(3)17,
13(3)27,
15(1)5,
15(2)8,
15(3)11,
16(3)10,
16(4)16,
16(4)17,
18(1)1,
18(1)2,
18(1)3,
18(2)5
- applied,
10(2)6,
11(3)16,
11(4)17,
12(1)6,
12(2)9,
13(3)25,
13(4)41,
18(3)11
- automatic,
10(1)4,
13(2)14,
17(4)13,
18(1)4
- communication,
4(3)289,
4(4)371,
7(4)523,
10(4)6,
11(1)2,
11(2)2,
11(2)3,
11(3)14,
11(4)18,
12(1)2,
12(3)15,
12(3)16,
12(4)21,
12(4)22,
13(1)8,
13(4)29,
14(1)4,
14(1)12,
15(1)5,
15(2)6,
15(2)7,
15(2)9,
15(3)14,
16(3)10,
16(4)15,
17(1)4,
17(3)9,
18(2)5,
18(2)7
- core,
10(4)3,
12(2)8,
14(1)7,
15(1)4,
15(2)6,
16(4)17,
18(4)12
- course,
14(1)2
- denial-of-service,
15(3)11,
15(4)16,
17(1)4
- develop,
2(2)138,
10(2)8,
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
- equivalence,
16(4)17
- exchange,
2(3)230,
9(2)181,
10(3)10,
11(2)6,
14(4)28,
16(4)15,
17(2)7,
18(1)2
- fast,
7(2)242,
12(2)11,
17(3)10,
18(1)2
- formally,
1(1)26,
2(3)230,
9(4)421,
10(4)2,
11(3)13,
11(4)17,
12(2)8,
13(3)24,
13(3)27,
14(4)30,
17(1)2,
17(1)3
- found,
11(2)3,
13(1)10,
15(4)18,
17(4)13,
18(1)1
- Fournet, Cédric,
10(2)8,
15(1)3
- generally,
16(2)7
- idea,
1(1)93,
12(1)2,
12(2)11,
14(1)4,
15(1)4,
16(1)1,
16(2)7
- identity,
2(2)177,
2(4)390,
11(2)6,
12(3)15,
13(4)36,
13(4)41,
14(1)10,
14(3)25,
14(4)29,
15(1)4,
15(3)12,
17(1)4
- IP,
5(2)119,
10(3)11,
12(4)22,
13(4)35,
15(2)6,
15(4)16,
16(4)14
- just,
7(2)242,
9(2)181,
17(1)1,
17(3)9
- keying,
7(2)242,
7(4)523
- limitation,
9(3)259,
10(2)8,
11(1)4,
14(3)27,
14(4)30,
15(1)4,
16(1)3,
16(2)7,
17(4)14
- minor,
2(3)332,
18(3)11
- 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(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)21,
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
- mostly,
11(4)22,
18(1)1
- observational,
16(4)17
- obtain,
9(2)181,
11(4)18,
11(4)19,
12(3)18,
13(4)37,
14(1)14,
15(1)3,
16(4)15,
17(3)10,
18(1)4
- of-service, denial-,
15(3)11,
15(4)16,
17(1)4
- other,
1(1)93,
2(4)354,
9(4)461,
10(3)10,
10(3)11,
10(3)12,
10(4)1,
10(4)5,
11(2)2,
11(2)6,
11(3)15,
11(4)18,
11(4)23,
12(1)3,
12(2)8,
12(2)10,
12(3)14,
12(3)17,
12(4)22,
13(3)24,
13(3)25,
13(4)40,
14(3)23,
14(3)27,
14(4)30,
15(1)5,
15(2)6,
15(3)11,
15(3)14,
15(4)15,
16(4)15,
17(2)8,
17(3)9,
18(1)1,
18(1)3,
18(2)6,
18(4)12
- paper,
1(1)66,
1(1)93,
2(1)34,
2(1)105,
2(2)138,
2(2)177,
2(3)269,
2(4)390,
7(2)319,
9(2)162,
9(2)181,
9(4)421,
10(1)2,
10(1)4,
10(2)5,
10(2)7,
10(3)10,
10(3)11,
10(3)12,
10(4)2,
10(4)4,
11(1)2,
11(2)1,
11(2)6,
12(2)12,
14(4)28,
14(4)32
- part,
2(3)332,
10(4)4,
11(2)2,
11(4)20,
12(1)1,
13(1)10,
15(2)8,
15(2)9,
16(4)15,
17(2)6,
17(4)16
- plausible,
17(3)12
- positive,
16(4)14
- 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)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
- process,
1(1)26,
2(1)65,
9(4)421,
10(4)4,
11(1)2,
11(1)4,
11(4)18,
11(4)20,
12(2)11,
12(3)14,
13(1)10,
13(3)25,
13(4)36,
15(3)13,
16(2)5,
16(2)7,
17(2)6,
17(4)14,
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,
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
- protection,
1(1)3,
1(1)26,
1(1)66,
1(1)93,
2(1)3,
2(1)34,
2(1)105,
2(2)138,
2(2)177,
2(3)230,
2(3)295,
2(4)354,
2(4)390,
10(1)3,
11(4)20,
12(2)9,
12(2)11,
13(3)22,
14(3)24,
15(1)2,
15(2)8,
16(2)6
- purpose,
10(4)4,
11(4)20,
12(2)11,
13(3)22,
13(3)24,
14(1)14,
16(3)10,
16(4)17,
17(1)3,
17(3)12,
18(1)1
- recent,
2(1)65,
2(2)138,
10(2)8,
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
- resistance,
2(3)230,
16(1)2
- 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)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(1)3,
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
- rigorously,
14(4)28
- securing,
5(1)62,
10(1)2,
10(2)8,
10(3)11,
15(2)6
- service, denial-of-,
15(3)11,
15(4)16,
17(1)4
- should,
1(1)3,
10(4)2,
12(2)8,
12(4)20,
13(3)28,
13(4)35,
17(1)2,
17(3)11,
18(4)14
- 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(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
- studied,
9(4)391,
11(4)17,
12(1)6,
12(2)8,
17(3)12
- technique,
1(1)3,
2(2)138,
2(3)230,
2(3)295,
2(4)416,
7(2)274,
9(4)391,
9(4)461,
10(2)6,
10(4)6,
11(2)2,
11(3)12,
11(3)16,
11(4)17,
11(4)18,
11(4)22,
12(1)4,
12(2)11,
12(2)13,
12(3)16,
12(3)18,
13(3)22,
13(3)25,
13(3)28,
13(4)32,
13(4)33,
13(4)35,
13(4)36,
13(4)39,
14(1)3,
14(1)5,
14(1)6,
14(1)13,
14(3)24,
14(4)32,
15(1)2,
15(1)5,
15(2)7,
15(2)8,
15(3)12,
15(4)17,
15(4)18,
16(1)2,
16(2)6,
16(2)7,
16(3)11,
16(4)13,
16(4)14,
17(3)9,
17(3)12,
17(4)16,
18(1)2,
18(2)6,
18(3)11
- term,
2(3)295,
11(3)15,
11(4)19,
13(3)22,
15(2)6,
15(2)8,
15(3)13
- useful,
11(4)20,
12(1)5,
12(1)6,
12(4)20,
13(4)39,
14(1)14,
15(2)10,
18(2)5,
18(3)10,
18(3)11
- verification,
2(3)332,
3(1)51,
8(3)287,
10(2)5,
10(2)6,
10(2)7,
10(3)11,
11(2)5,
11(3)14,
12(1)3,
12(1)6,
14(1)5,
14(3)25,
14(4)32,
15(1)3,
15(2)9,
15(4)18,
16(2)8,
17(2)6,
18(2)6,
18(2)8,
18(3)11,
18(4)14