650 search results - page 75 / 130 » Privacy in Non-private Environments |
163
click to vote
CSFW
2006
IEEE
15 years 10 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 ...
116
Voted
CSFW
2006
IEEE
15 years 10 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 ...
139
click to vote
CSFW
2006
IEEE
15 years 10 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...
131
click to vote
MICRO
2006
IEEE
15 years 10 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...
145
click to vote
CSCW
2006
ACM
15 years 10 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, ...