First Results of a Formal Analysis of the Network Time Security Specification

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

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Physikalisch-Technische Bundesanstalt (PTB) DE Germany (DE)

How to cite

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