Results 181 to 190 of about 1,801,560 (284)

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

open access: bronze, 2005
John C. Mitchell   +3 more
openalex   +1 more source

Automatic verification of temporal-epistemic properties of cryptographic protocols

open access: yesJ. Appl. Non Class. Logics, 2009
Ioana Boureanu, Mika Cohen, A. Lomuscio
semanticscholar   +1 more source

Cryptographic protocols to fight sinkhole attacks on tree-based routing in Wireless Sensor Networks

open access: yes2009 5th IEEE Workshop on Secure Network Protocols, 2009
Anthonis Papadimitriou   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy