PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Basin, David A."

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.

, , , and . CSF, page 109-123. IEEE Computer Society, (2009)

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.

A. Laukemann

Dr. Marie Davidova University of Stuttgart

A. Laukemann

A. Laukemann

A. Vo{\ss}

 

Other publications of authors with the same name

SSL/TLS session-aware user authentication revisited., , and . Computers & Security, 27 (3-4): 64-70 (2008)Provably repairing the ISO/IEC 9798 standard for entity authentication., , and . Journal of Computer Security, 21 (6): 817-846 (2013)Editorial., , and . Higher-Order and Symbolic Computation, 17 (3): 171 (2004)SSL/TLS session-aware user authentication - Or how to effectively thwart the man-in-the-middle., , and . Computer Communications, 29 (12): 2238-2246 (2006)LTL is closed under topological closure., , and . Inf. Process. Lett., 114 (8): 408-413 (2014)Structuring Metatheory on Inductive Definitions., and . Inf. Comput., 162 (1-2): 80-95 (2000)Scoped metatheorems., and . Electr. Notes Theor. Comput. Sci., (1998)Middle-Out Reasoning for Logic Program Synthesis., , and . ICLP, page 441-455. MIT Press, (1993)A theoretical and empirical investigation of search in imperfect information games., and . Theor. Comput. Sci., 252 (1-2): 217-256 (2001)Middle-Out Reasoning for Synthesis and Induction., , and . J. Autom. Reasoning, 16 (1-2): 113-145 (1996)