1790 search results - page 115 / 358 » On Privacy Models for RFID |
158
click to vote
AGENTS
1999
Springer
15 years 9 months ago
1999
Springer
For a dynamic, evolving multiagent auction, we have developed an adaptive agent bidding strategy (called the p-strategy) based on stochastic modeling. The p-strategy takes into ac...
142
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
129
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract--Recently, Lee et al. proposed a Remote Authentication Model of Information Appliances (RAMIA). Unfortunately, RAMIA has a fatal error that opens the entire home network o...
142
click to vote
IEEEARES
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
155
click to vote
ESORICS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...