718 search results - page 96 / 144 » Operational Semantics of Security Protocols |
LISA
2007
13 years 10 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
ITIIS
2010
13 years 6 months ago
2010
Data sharing is an essential process for collaborative works particularly in the banking, finance and healthcare industries. These industries require many collaborative works with...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Nowadays, the IP Multimedia Subsystem (IMS) is a promising research field. Many ongoing works related to the security and the performances of its employment are presented to the r...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...