311 search results - page 47 / 63 » Secure Information Flow by Self-Composition |
107
click to vote
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
108
click to vote
ICISC
1998
14 years 11 months ago
1998
The classical role of a firewall consists in protecting a computer network against attacks from the outside world, especially the Internet. Firewalls are often expensive, hard to c...
TCS
2008
14 years 9 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...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
BPM
2007
Springer
15 years 3 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...