Author: "Mauw, Sjouke" / Journal: information security and cryptography - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Mauw, Sjouke"' showing total 9 results

Start Over Author "Mauw, Sjouke" Journal information security and cryptography

9 results on '"Mauw, Sjouke"'

1. Security Properties

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

2. Operational Semantics

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

3. Verification

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

4. Introduction

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

5. Preliminaries

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

6. Multi-protocol Attacks

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

7. Generalising NSL for Multi-party Authentication

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

8. Historical Background and Further Reading

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

9. Operational Semantics and Verification of Security Protocols

Author: Cremers, Cas, primary and Mauw, Sjouke, additional
Published: 2012
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results