( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stronger Password Authentication Using Browser Extensions.

, , , , и . USENIX Security Symposium, USENIX Association, (2005)

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.

John Mitchell

John Bain Mitchell

John C Maraldo

John C Angehrn

John C Eisele

 

Другие публикации лиц с тем же именем

Parametricity and Variants of Girard's J Operator., и . Inf. Process. Lett., 70 (1): 1-5 (1999)Determination of Thermodynamic and Kinetic Parameters from Isothermal Heat Conduction Microcalorimetry: Applications to Long-Term-Reaction Studies, , , и . The Journal of Physical Chemistry, 99 (18): 7108--7113 (мая 1995)Security analysis of network protocols: logical and computational methods.. PPDP, стр. 151-152. ACM, (2005)Representation Independence and Data Abstraction.. POPL, стр. 263-276. ACM Press, (1986)Toward a Typed Foundation for Method Specialization and Inheritance.. POPL, стр. 109-124. ACM Press, (1990)Connecting Formal Semantics to Constructive Intuitions., , и . Constructivity in Computer Science, том 613 из Lecture Notes in Computer Science, стр. 1-21. Springer, (1991)Probabilistic Polynomial-Time Semantics for a Protocol Security Logic., , , , и . ICALP, том 3580 из Lecture Notes in Computer Science, стр. 16-29. Springer, (2005)Notes on Typed Object-Oriented Programming., и . TACS, том 789 из Lecture Notes in Computer Science, стр. 844-885. Springer, (1994)Contract Signing, Optimism, and Advantage., , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 361-377. Springer, (2003)The analysis of programming structure., и . SIGACT News, 28 (2): 24-31 (1997)