Entry Anonymous:1999:ECV from lncs1999a.bib
Last update: Sun Jun 12 03:08:01 2016
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{Anonymous:1999:ECV,
author = "Anonymous",
title = "External Consistency and the Verification of Security
Protocols: Discussion",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1550",
pages = "28--35",
year = "1999",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Sep 14 06:09:05 MDT 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1999a.bib",
acknowledgement = ack-nhfb,
keywords = "security protocols",
}
Related entries
- Anonymous,
1500(0)217,
1500(0)277,
1550(0)13,
1550(0)41,
1550(0)51,
1550(0)64,
1550(0)75,
1550(0)100,
1550(0)241,
1560(0)43,
1560(0)327,
1562(0)389,
1571(0)207,
1582(0)251,
1587(0)327,
1591(0)243,
1591(0)251,
1592(0)150,
1593(0)931,
1599(0)187
- Consistency,
1548(0)248,
1550(0)24,
1550(0)28,
1557(0)500,
1590(0)1
- Discussion,
1550(0)13,
1550(0)13,
1550(0)28,
1550(0)41,
1550(0)41,
1550(0)51,
1550(0)51,
1550(0)64,
1550(0)75,
1550(0)75,
1550(0)90,
1550(0)100,
1550(0)100,
1550(0)108,
1550(0)125,
1550(0)131,
1550(0)146,
1550(0)158,
1550(0)168,
1550(0)177,
1550(0)203,
1550(0)220
- External,
1550(0)24,
1550(0)28,
1563(0)291
- protocols,
1550(0)1,
1550(0)13,
1550(0)24,
1550(0)28,
1550(0)36,
1550(0)41,
1550(0)45,
1550(0)51,
1550(0)59,
1550(0)64,
1550(0)67,
1550(0)75,
1550(0)83,
1550(0)90,
1550(0)95,
1550(0)100,
1550(0)108,
1550(0)118,
1550(0)125,
1550(0)131,
1550(0)137,
1550(0)146,
1550(0)154,
1550(0)158,
1550(0)177,
1550(0)193,
1550(0)203,
1550(0)213,
1550(0)220,
1550(0)227,
1556(0)339,
1558(0)282,
1561(0)63,
1578(0)1,
1579(0)148,
1586(0)1243,
1587(0)51,
1594(0)53,
1594(0)384
- security,
1550(0)1,
1550(0)13,
1550(0)24,
1550(0)28,
1550(0)36,
1550(0)41,
1550(0)45,
1550(0)51,
1550(0)59,
1550(0)64,
1550(0)67,
1550(0)75,
1550(0)75,
1550(0)83,
1550(0)90,
1550(0)95,
1550(0)100,
1550(0)108,
1550(0)118,
1550(0)125,
1550(0)131,
1550(0)137,
1550(0)146,
1550(0)154,
1550(0)158,
1550(0)177,
1550(0)193,
1550(0)203,
1550(0)213,
1550(0)220,
1550(0)227,
1552(0)323,
1556(0)43,
1556(0)264,
1560(0)29,
1560(0)53,
1560(0)197,
1561(0)1,
1561(0)16,
1561(0)63,
1561(0)87,
1561(0)105,
1561(0)127,
1561(0)134,
1561(0)158,
1561(0)183,
1561(0)217,
1578(0)1,
1586(0)389,
1587(0)1,
1587(0)12,
1587(0)26,
1587(0)36,
1587(0)51,
1587(0)64,
1587(0)77,
1587(0)88,
1587(0)103,
1587(0)117,
1587(0)129,
1587(0)135,
1587(0)135,
1587(0)149,
1587(0)164,
1587(0)177,
1587(0)192,
1587(0)202,
1587(0)213,
1587(0)228,
1587(0)244,
1587(0)258,
1587(0)270,
1587(0)281,
1587(0)294,
1587(0)303,
1587(0)314,
1592(0)56,
1593(0)370,
1593(0)919,
1597(0)155,
1597(0)355,
1597(0)385
- Verification,
1548(0)28,
1548(0)59,
1548(0)74,
1548(0)214,
1550(0)24,
1550(0)28,
1555(0)177,
1567(0)251,
1569(0)31,
1569(0)61,
1569(0)76,
1577(0)176,
1579(0)19,
1579(0)74,
1579(0)148,
1579(0)163,
1579(0)208,
1579(0)255,
1579(0)285,
1579(0)330,
1579(0)435,
1586(0)1258