1059 search results - page 50 / 212 » Modeling Security Protocols as Games |
101
Voted
ANSS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
RP
2009
Springer
15 years 7 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
153
Voted
MONET
2011
14 years 3 months ago
2011
Cooperation among wireless nodes has been recently proposed for improving the physical layer (PHY) security of wireless transmission in the presence of multiple eavesdroppers. Whil...
124
click to vote
PERCOM
2003
ACM
16 years 5 days ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
106
click to vote
ATAL
2011
Springer
14 years 17 days ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...