Teichel K, Sibold D, Milius S (2015)
Publication Type: Conference contribution
Publication year: 2015
Publisher: Springer
Series: Lecture Notes Comput.~Sci.
Book Volume: 9497
Pages Range: 218--245
Conference Proceedings Title: Proc.~Security Standardization Research
APA:
Teichel, K., Sibold, D., & Milius, S. (2015). First Results of a Formal Analysis of the Network Time Security Specification. In Chen L, Matsuo S (Eds.), Proc.~Security Standardization Research (pp. 218--245). Springer.
MLA:
Teichel, Kristof, Dieter Sibold, and Stefan Milius. "First Results of a Formal Analysis of the Network Time Security Specification." Proceedings of the Proc.~Security Standardization Research Ed. Chen L, Matsuo S, Springer, 2015. 218--245.
BibTeX: Download