1679 search results - page 67 / 336 » Security Properties and CSP |
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
SP
1997
IEEE
14 years 2 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
CSFW
1993
IEEE
14 years 2 months ago
1993
IEEE
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The intrinsically secure communications graph (-graph) is a random graph which captures the connections that can be securely established over a large-scale network, in the presence...