1690 search results - page 163 / 338 » A Security Framework for JXTA-Overlay |
209
Voted
CSFW
2006
IEEE
16 years 1 months 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 ...
230
Voted
CCS
2003
ACM
16 years 8 days 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...
172
Voted
NOMS
2008
IEEE
16 years 1 months 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...
256
click to vote
CCS
2004
ACM
16 years 13 days 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 ...
157
Voted
ISI
2004
Springer
16 years 12 days 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 ...