2358 search results - page 204 / 472 » A Secure Pervasive Environment |
CSFW
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
MDAI
2009
Springer
14 years 3 months ago
2009
Springer
Privacy preservation in the information society is in many respects parallel to environment preservation in the physical world. In this way, “green ICT services” are those achi...
LCN
2007
IEEE
14 years 3 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...
NDSS
1998
IEEE
14 years 1 months ago
1998
IEEE
The GSS-API [20, 21] offers security services independent of underlying mechanisms. A possible GSS-mechanism is the Simple Public Key Mechanism (SPKM) specified in [1]. In this pa...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Several secure computing hardware architectures using memory encryption and memory integrity checkers have been proposed during the past few years to provide applications with a t...