1653 search results - page 4 / 331 » Timed analysis of security protocols |
ICICS
2004
Springer
14 years 25 days 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...
IJNSEC
2011
13 years 2 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...
SP
2008
IEEE
14 years 1 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, ...
IEEEARES
2008
IEEE
14 years 1 months ago
2008
IEEE
CSFW
1997
IEEE
13 years 11 months ago
1997
IEEE