Results 201 to 210 of about 5,463 (216)
Some of the next articles are maybe not open access.

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis

Lecture Notes in Computer Science, 2003
Luca Durante   +2 more
exaly  

A Secure Cloud-Based IDPS Using Cryptographic Traces and Revocation Protocol

Lecture Notes in Computer Science, 2017
Hind Idrissi   +2 more
exaly  

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis

Lecture Notes in Computer Science, 2003
Luca Durante   +2 more
exaly  

A Simple Language for Real-Time Cryptographic Protocol Analysis

Lecture Notes in Computer Science, 2003
Roberto Gorrieri   +2 more
exaly  

Cryptographic Protocols

2012
openaire   +1 more source

Home - About - Disclaimer - Privacy