Tomášek, M. SECURITY PROPERTIES VERIFICATION OF SECURITY PROTOCOLS.
Chicago Style (17th ed.) CitationTomášek, Martin. SECURITY PROPERTIES VERIFICATION OF SECURITY PROTOCOLS.
MLA (9th ed.) CitationTomášek, Martin. SECURITY PROPERTIES VERIFICATION OF SECURITY PROTOCOLS.
Warning: These citations may not always be 100% accurate.
