718 search results - page 5 / 144 » Security protocols, properties, and their monitoring |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
ESORICS
2005
Springer
14 years 3 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
IEEEARES
2009
IEEE
14 years 4 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
SP
2008
IEEE
14 years 4 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, ...
CUZA
2002
13 years 9 months ago
2002
The fast expansion of Grid technologies emphasizes the importance of network performance measurement. Some network measurement methods, like TCP throughput or latency evaluation, a...