-
1
-
-
0037014243
-
Non-interference for concurrent programs and thread systems
-
June
-
G. Boudol and I. Castellani. Non-interference for concurrent programs and thread systems. Theoretical Computer Science, 281(1): 109-130, June 2002.
-
(2002)
Theoretical Computer Science
, vol.281
, Issue.1
, pp. 109-130
-
-
Boudol, G.1
Castellani, I.2
-
2
-
-
0017517624
-
Certification of programs for secure information flow
-
July
-
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504-513, July 1977.
-
(1977)
Comm. of the ACM
, vol.20
, Issue.7
, pp. 504-513
-
-
Denning, D.E.1
Denning, P.J.2
-
6
-
-
35048815139
-
Controlled downgrading based on intransitive (non)interference
-
Proc. Asian Symp. on Programming Languages and Systems, of, Springer-Verlag, Nov
-
H. Mantel and D. Sands. Controlled downgrading based on intransitive (non)interference. In Proc. Asian Symp. on Programming Languages and Systems, volume 3302 of LNCS, pages 129-145. Springer-Verlag, Nov. 2004.
-
(2004)
LNCS
, vol.3302
, pp. 129-145
-
-
Mantel, H.1
Sands, D.2
-
7
-
-
12844283698
-
Jif: Java information flow
-
release, July
-
A. C. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom. Jif: Java information flow. Software release. http://www.es.cornell.edu/jif, July 2001-2006.
-
(2001)
Software
-
-
Myers, A.C.1
Zheng, L.2
Zdancewic, S.3
Chong, S.4
Nystrom, N.5
-
9
-
-
84885715358
-
The impact of synchronisation on secure information flow in concurrent programs
-
Proc. Andrei Ershov International Conference on Perspectives of System Informatics, of, Springer-Verlag, July
-
A. Sabelfeld. The impact of synchronisation on secure information flow in concurrent programs. In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2244 of LNCS, pages 225-239. Springer-Verlag, July 2001.
-
(2001)
LNCS
, vol.2244
, pp. 225-239
-
-
Sabelfeld, A.1
-
10
-
-
33745197683
-
Confidentiality for multithreaded programs via bisimulation
-
Proc. Andrei Ershov International Conference on Perspectives of System Informatics, of, Springer-Verlag, July
-
A. Sabelfeld. Confidentiality for multithreaded programs via bisimulation. In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2890 of LNCS, pages 260-273. Springer-Verlag, July 2003.
-
(2003)
LNCS
, vol.2890
, pp. 260-273
-
-
Sabelfeld, A.1
-
11
-
-
84958755151
-
Static confidentiality enforcement for distributed programs
-
Proc. Symp. on Static Analysis, of, Springer-Verlag, Sept
-
A. Sabelfeld and H. Mantel. Static confidentiality enforcement for distributed programs. In Proc. Symp. on Static Analysis, volume 2477 of LNCS, pages 376-394. Springer-Verlag, Sept. 2002.
-
(2002)
LNCS
, vol.2477
, pp. 376-394
-
-
Sabelfeld, A.1
Mantel, H.2
-
14
-
-
38049125050
-
-
V. Simonet. The Flow Caml system. Software release. Located at http://cristal.inria.fr/~simonet/soft/flowcaml/,July 2003.
-
V. Simonet. The Flow Caml system. Software release. Located at http://cristal.inria.fr/~simonet/soft/flowcaml/,July 2003.
-
-
-
-
16
-
-
18544362925
-
Probabilistic noninterference through weak probabilistic bisimulation
-
G.Smith. Probabilistic noninterference through weak probabilistic bisimulation, In Proc. IEEE Computer Security Foundations Workshop, pages 3-13, 2003.
-
(2003)
In Proc. IEEE Computer Security Foundations Workshop
, pp. 3-13
-
-
Smith, G.1
-
18
-
-
0033330060
-
Probabilistic noninterference in a concurrent language
-
Nov
-
D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. J. Computer Security, 7(2-3):231-253, Nov. 1999.
-
(1999)
J. Computer Security
, vol.7
, Issue.2-3
, pp. 231-253
-
-
Volpano, D.1
Smith, G.2
-
19
-
-
0030370740
-
A sound type system for secure flow analysis
-
D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. J. Computer Security, 4(3):167-187, 1996.
-
(1996)
J. Computer Security
, vol.4
, Issue.3
, pp. 167-187
-
-
Volpano, D.1
Smith, G.2
Irvine, C.3
|