3504 search results - page 535 / 701 » Secure protocol composition |
133
click to vote
PADL
2012
Springer
13 years 9 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
122
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
Establishing trust between a group of individuals remains a difficult problem. Prior works assume trusted infrastructure, require an individual to trust unknown entities, or provi...
116
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
115
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
103
click to vote
WS
2004
ACM
15 years 7 months ago
2004
ACM
Many studies on measurement and characterization of wireless LANs (WLANs) have been performed recently. Most of these measurements have been conducted from the wired portion of th...