718 search results - page 103 / 144 » Operational Semantics of Security Protocols |
129
click to vote
TCS
2008
15 years 1 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...
135
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
120
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
126
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...