526 search results - page 59 / 106 » A Z Based Approach to Verifying Security Protocols |
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—The group signature based security scheme is a promising approach to provision privacy in vehicular ad hoc networks (VANETs). In this paper, we propose a novel distributed key m...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Sensor networks are deployed to monitor the physical environment in public and vulnerable locations. It is not economically viable to house sensors in tamper-resilient enclosures ...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
SACMAT
2010
ACM
13 years 6 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...