1490 search results - page 146 / 298 » The Logic of Authentication Protocols |
116
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
117
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— We propose a fuzzy-based decision-making mechanism for selecting data dissemination protocols in wireless sensor networks (WSNs). Its goal is to select the most efficient proto...
142
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
125
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
131
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...