1653 search results - page 4 / 331 » Timed analysis of security protocols |
158
click to vote
ICICS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
188
click to vote
IJNSEC
2011
14 years 12 months ago
2011
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
153
Voted
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
119
Voted
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
