First Results of a Formal Analysis of the Network Time Security Specification (bibtex)
by Kristof Teichel, Dieter Sibold, Stefan Milius
Reference:
First Results of a Formal Analysis of the Network Time Security Specification (Kristof Teichel, Dieter Sibold, Stefan Milius), In Proc. Security Standardization Research (Liqun Chen, Shin'ichiro Matsuo, eds.), 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:
@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 = 	 {}
}
Powered by bibtexbrowser