718 search results - page 81 / 144 » Security protocols, properties, and their monitoring |
158
click to vote
CSFW
2007
IEEE
16 years 14 days ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
146
Voted
MMSEC
2006
ACM
16 years 2 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
166
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
164
click to vote
CSFW
2006
IEEE
16 years 6 days 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...
167
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...