151 search results - page 15 / 31 » Secrecy and Authenticity Types for Secure Distributed Messag... |
125
click to vote
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
— In an increasingly hostile environment, the need for security in network infrastructure is stronger than ever, especially for Multi-Protocol Label Switching (MPLS), widely used...
130
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
130
click to vote
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
144
click to vote
TLDI
2009
ACM
16 years 2 days ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
131
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...