First Results of a Formal Analysis of the Network Time Security Specification (bibtex)

by Kristof Teichel, Dieter Sibold and Stefan Milius

Reference:

Kristof Teichel, Dieter Sibold and Stefan Milius: First Results of a Formal Analysis of the Network Time Security Specification, In Liqun Chen, Shin'ichiro Matsuo, eds.: Proc. Security Standardization Research, Lecture Notes Comput. Sci., vol. 9497, pp. 218–245, Springer, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-27152-1_12.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{tsm15,
  author = 	 {Kristof Teichel and Dieter Sibold and Stefan Milius},
  title = 	 {First Results of a Formal Analysis of the Network Time Security Specification},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Security Standardization Research},
  year = 	 {2015},
  editor = 	 {Liqun Chen and Shin'ichiro Matsuo},
  volume = 	 {9497},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  pages = 	 {218--245},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-319-27152-1_12},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-27152-1_12">http://dx.doi.org/10.1007/978-3-319-27152-1_12</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}