Entry Abadi:1999:SPS from lncs1999a.bib

Last update: Sun Jun 12 03:08:01 2016

Index sections

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:1999:SPS,
  author =       "M. Abadi",
  title =        "Security Protocols and Specifications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1578",
  pages =        "1--13",
  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 =     "computation structures; ETAPS; FOSSACS; software
                 science",
}

Related entries

Abadi, M., 1576(0)91
FOSSACS, 1578(0)14, 1578(0)31, 1578(0)41, 1578(0)56, 1578(0)73, 1578(0)90, 1578(0)104, 1578(0)120, 1578(0)135, 1578(0)150, 1578(0)165, 1578(0)180, 1578(0)197, 1578(0)212, 1578(0)227, 1578(0)243, 1578(0)258, 1578(0)273, 1578(0)288, 1578(0)306
protocols, 1550(0)1, 1550(0)13, 1550(0)24, 1550(0)28, 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, 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)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, 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
Specification, 1523(0)119, 1523(0)271, 1548(0)91, 1548(0)248, 1548(0)341, 1548(0)373, 1548(0)502, 1551(0)16, 1551(0)31, 1551(0)365, 1559(0)1, 1559(0)159, 1577(0)45, 1577(0)60, 1577(0)234, 1578(0)273, 1579(0)89, 1579(0)119, 1584(0)45, 1586(0)1197, 1589(0)16, 1589(0)107, 1589(0)277, 1589(0)310, 1589(0)326, 1591(0)205, 1594(0)37, 1594(0)118
structure, 1540(0)257, 1540(0)277, 1551(0)1, 1552(0)145, 1554(0)131, 1554(0)356, 1555(0)133, 1555(0)381, 1562(0)176, 1568(0)19, 1569(0)4, 1573(0)579, 1574(0)169, 1574(0)432, 1574(0)494, 1575(0)1, 1575(0)259, 1576(0)2, 1577(0)176, 1578(0)14, 1578(0)31, 1578(0)41, 1578(0)56, 1578(0)73, 1578(0)90, 1578(0)104, 1578(0)120, 1578(0)135, 1578(0)150, 1578(0)165, 1578(0)180, 1578(0)197, 1578(0)212, 1578(0)227, 1578(0)243, 1578(0)258, 1578(0)273, 1578(0)288, 1578(0)306, 1580(0)305, 1582(0)160, 1584(0)159, 1586(0)108, 1589(0)16