Author of the publication

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.

, , , , , , , , , , , , and . VIS, volume 16 of DuD-Fachbeiträge, page 175-190. Vieweg, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Methods Diffusion: Past Lessons and Future Prospects., , , , and . SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 211-226. Springer, (2000)Availability: theory and fundamentals for practical evaluation and use., and . ACSAC, page 258-264. IEEE, (1994)Verification Support Environment., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 454-457. Springer, (1996)Improvement of Fuzzy Vault for Multiple Fingerprints with Angles., , and . BIOSIG, volume P-260 of LNI, page 233-240. GI / IEEE, (2016)Application of Formal Methods in the Scope of IT-Security., , and . SAFECOMP, page 389-394. Springer, (1996)Evaluation of Account Recovery Strategies with FIDO2-based Passwordless Authentication., , , and . Open Identity Summit, volume P-312 of LNI, page 59-70. Gesellschaft für Informatik e.V., (2021)Short paper: a new identity-based DH key-agreement protocol for wireless sensor networks based on the Arazi-Qi scheme., , and . WISEC, page 139-144. ACM, (2011)The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process., , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 302-310. Springer, (1998)The Use of Formal Methods for Trusted Digital Signature Devices., , and . FLAIRS, page 336-340. AAAI Press, (2000)Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE., , , , and . Sicherheit, volume P-195 of LNI, page 83-94. GI, (2012)