1690 search results - page 163 / 338 » A Security Framework for JXTA-Overlay |
191
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
209
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. Ho...
153
click to vote
NOMS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
225
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
141
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...