677 search results - page 95 / 136 » Secure Pseudonymous Channels |
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
137
click to vote
ESAS
2007
Springer
15 years 1 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
BROADNETS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Unauthorized rogue access points (APs), such as those brought into a corporate campus by employees, pose a security threat as they may be poorly managed or insufficiently secu...
106
click to vote
EUROCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
Important properties of many protocols are liveness or availability, i.e., that something good happens now and then. In asynchronous scenarios these properties obviously depend on...