1106 search results - page 98 / 222 » Automated Design of Security Protocols |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
FC
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a secure Generalized Vickrey Auction (GVA) scheme that does not require third-party servers, i.e., the scheme is executed only by an auctioneer and bidders. Com...
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
As wireless networks proliferate, web browsers operate in an increasingly hostile network environment. The HTTPS protocol has the potential to protect web users from network attac...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...