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
SSL/TLS session-aware user authentication revisited.

, , and . Computers & Security, 27 (3-4): 64-70 (2008)

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

Structuring Metatheory on Inductive Definitions., and . Inf. Comput., 162 (1-2): 80-95 (2000)Scoped metatheorems., and . Electr. Notes Theor. Comput. Sci., (1998)LTL is closed under topological closure., , and . Inf. Process. Lett., 114 (8): 408-413 (2014)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)Provably repairing the ISO/IEC 9798 standard for entity authentication., , and . Journal of Computer Security, 21 (6): 817-846 (2013)SSL/TLS session-aware user authentication revisited., , and . Computers & Security, 27 (3-4): 64-70 (2008)Middle-Out Reasoning for Synthesis and Induction., , and . J. Autom. Reasoning, 16 (1-2): 113-145 (1996)A theoretical and empirical investigation of search in imperfect information games., and . Theor. Comput. Sci., 252 (1-2): 217-256 (2001)Verifying a signature architecture: a comparative case study., , , , and . Formal Asp. Comput., 19 (1): 63-91 (2007)