718 search results - page 69 / 144 » Operational Semantics of Security Protocols |
TC
2008
13 years 7 months ago
2008
In an attempt to expand Public Key Infrastructure (PKI) usage to a ubiquitous and mobile computing environment, we found that the deployment of the PKI on a resource-constrained de...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
IJSN
2008
13 years 8 months ago
2008
: Security has become the corner stone of research in wireless sensor networks (WSNs). Due to the unique operational environment of WSNs, where the communication medium is open to ...