2024 search results - page 183 / 405 » Providing Secure Environments for Untrusted Network Applicat... |
191
click to vote
CSFW
2006
IEEE
16 years 18 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 ...
167
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
182
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive computing allows the coupling of the physical world to the information world, and provides a wealth of ubiquitous services and applications that allow users, machines, d...
174
click to vote
SP
2008
IEEE
16 years 27 days ago
2008
IEEE
— Applications such as VoIP need to provide anonymity to clients while maintaining low latency to satisfy quality of service (QoS) requirements. Existing solutions for providing ...
176
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Recently, many learning systems, such as e-learning and WBT (Web Based Teaching) systems have been developed. In these systems, users can get educational contents and graphical ma...