19 search results - page 3 / 4 » csfw 2004 |
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
Intrusion Detection Systems (IDSs) have become an important part of operational computer security. They are the last line of defense against malicious hackers and help detect ongo...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...