12 search results - page 2 / 3 » csfw 2000 |
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...