Zum Inhalt springen

Degano, Pierpaolo; Guttman, Joshua D.

Preface

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2013

Erschienen in: Journal of Computer Security
Guttman, Joshua D.; Wand, Mitchell

Preface

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1995

Erschienen in: LISP and Symbolic Computation
Guttman, Joshua D.; Ramsdell, John D.

Security and Trust Management: Understanding Attestation: Analyzing Protocols that Use Quotes

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2019

Erschienen in: Security and Trust Management
Dougherty, Daniel J.; Guttman, Joshua D.

Trustworthy Global Computing: An Algebra for Symbolic Diffie-Hellman Protocol Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Trustworthy Global Computing
Guttman, Joshua D.; Herzog, Amy L.

Rigorous automated network security management

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2005

Erschienen in: International Journal of Information Security
Guttman, Joshua D.; Thayer, F.Javier

Authentication tests and the structure of bundles

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Theoretical Computer Science
Farmer, William M.; Guttman, Joshua D.

A Set Theory with Support for Partial Functions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kluwer Academic Publishers, 2000

Erschienen in: Studia Logica: An International Journal for Symbolic Logic
Berkovits, Shimshon; Guttman, Joshua D.; Swarup, Vipin

Lecture Notes in Computer Science: Authentication for Mobile Agents

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1998

Erschienen in: Lecture Notes in Computer Science
Guttman, Joshua D.; Johnson, Dale M.

Lecture Notes in Computer Science: Three applications of formal methods at MITRE

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1994

Erschienen in: Lecture Notes in Computer Science
Rowe, Paul D.; Guttman, Joshua D.; Ramsdell, John D.

Logic, Language, and Security: Assumption-Based Analysis of Distance-Bounding Protocols with cpsa

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Logic, Language, and Security
Rowe, Paul D.; Guttman, Joshua D.; Liskov, Moses D.

Measuring protocol strength with security goals

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2016

Erschienen in: International Journal of Information Security
Guttman, Joshua D.; Ramsdell, John D.; Rowe, Paul D.

Security Standardisation Research: Cross-Tool Semantics for Protocol Security Goals

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2016

Erschienen in: Security Standardisation Research
Guttman, Joshua D.; Liskov, Moses D.; Rowe, Paul D.

Security Standardisation Research: Security Goals and Evolving Standards

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Security Standardisation Research
Dougherty, Daniel J.; Guttman, Joshua D.; Ramsdell, John D.

Lecture Notes in Computer Science: Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Lecture Notes in Computer Science
Guttman, Joshua D.; Thayer, F. Javier; Zuck, Lenore D.

The faithfulness of abstract protocol analysis: Message authentication*

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2004

Erschienen in: Journal of Computer Security
Guttman, Joshua D.; Ramsdell, John D.; Swarup, Vipin

The VLISP verified Scheme system

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1995

Erschienen in: LISP and Symbolic Computation
Guttman, Joshua D.; Ramsdell, John D.; Wand, Mitchell

VLISP: A verified implementation of Scheme

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1995

Erschienen in: LISP and Symbolic Computation
Ando, Megumi; Guttman, Joshua D.; Papaleo, Alberto R.; Scire, John

Applied Cryptography and Network Security: Hash-Based TPM Signatures for the Quantum World

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2016

Erschienen in: Applied Cryptography and Network Security
Doghmi, Shaddin F.; Guttman, Joshua D.; Thayer, F. Javier

Computer Security – ESORICS 2007: Completeness of the Authentication Tests

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Computer Security – ESORICS 2007
Doghmi, Shaddin F.; Guttman, Joshua D.; Thayer, F. Javier

Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2007

Erschienen in: Electronic Notes in Theoretical Computer Science

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr