( en | de | ru )

 

Disambiguierung von "Brooke, Phillip J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.

, , , und . IFM, Volume 10510 von Lecture Notes in Computer Science, Seite 407-421. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Brooke Luetgert

Brooke Cowan

Brooke Feeney

Brooke Shrader

Thomas Phillip

 

Weitere Publikationen von Autoren mit dem selben Namen

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel., , , und . J. Object Technol., 4 (7): 97-114 (2005)Exceptions in Concurrent Eiffel., und . J. Object Technol., 6 (10): 111-126 (2007)Integrating BON and Object-Z., und . J. Object Technol., 3 (3): 121-141 (2004)User-visible cryptography in email and web scenarios., und . Inf. Comput. Secur., 23 (1): 58-72 (2015)Practical Distributed Processing., und . Undergraduate Topics in Computer Science Springer, (2007)Security Planning and Refactoring in Extreme Programming., , , und . XP, Volume 4044 von Lecture Notes in Computer Science, Seite 154-163. Springer, (2006)Principles for modeling language design., , und . Inf. Softw. Technol., 42 (10): 665-675 (2000)The Value of User-Visible Internet Cryptography, und . CoRR, (2013)Lazy Exploration and Checking of CSP Models with CSPsim., und . CPA, Volume 65 von Concurrent Systems Engineering Series, Seite 33-49. IOS Press, (2007)Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion).. Security Protocols Workshop, Volume 7622 von Lecture Notes in Computer Science, Seite 55-59. Springer, (2012)