110 search results - page 12 / 22 » A Process Algebra for Reasoning About Quantum Security |
227
click to vote
POPL
2001
ACM
16 years 18 hour ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
ENTCS
2007
14 years 11 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
106
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
137
click to vote
FORTE
2009
14 years 9 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...