582 search results - page 55 / 117 » Security and Privacy Challenges in Cloud Computing Environme... |
CSFW
2006
IEEE
14 years 3 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 ...
SUTC
2008
IEEE
14 years 3 months ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
WISA
2007
Springer
14 years 3 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
AISADM
2005
Springer
14 years 2 months ago
2005
Springer
Advances in agent technologies have fueled interest towards combining agent-based techniques with tools from data mining. Furthermore, the advent of the ubiquitous computing paradi...
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...