650 search results - page 75 / 130 » Privacy in Non-private Environments |
CSFW
2006
IEEE
14 years 2 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 ...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
MICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
Despite the availability of awareness servers and casual interaction systems, distributed groups still cannot maintain artifact awareness – the easy awareness of the documents, ...