Computationally sound typing for non-interference: The case of deterministic encryption

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4855 LNCS, Issue , 2007, Pages 364-375

  Courant, Judicaël ^a   Ene, Cristian ^a   Lakhnech, Yassine ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; SECURITY OF DATA; SECURITY SYSTEMS; SIGNAL INTERFERENCE;

LEAKING INFORMATION; TYPING;

CRYPTOGRAPHY;

EID: 38349010576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77050-3_30     Document Type: Conference Paper

References (11)

1. Courant, J., Ene, C., Lakhnech, Y.: Computationally sound typing for non-interference: The case of deterministic encryption. Technical report, VERIMAG-University of Grenoble and CNRS (2007)
2. Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504-513 (1977)
3. Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11-20 (1982)
4. Laud, P.: Semantics and program analysis of computationally secure information flow. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol. 2028, pp. 77-91. Springer, Heidelberg (2001)
5. Laud, P.: Handling encryption in an analysis for secure information flow. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 159-173. Springer, Heidelberg (2003)
6. Laud, P., Vene, V.: A type system for computationally secure information flow. In: Liśkiewicz, M., Reischuk, R. (eds.) FCT 2005. LNCS, vol. 3623, pp. 365-377. Springer, Heidelberg (2005)
7. Malacaria, P.: Assessing security threats of looping constructs. In: Hofmann, M., Felleisen, M. (eds.) POPL, ACM, New York (2007)
8. Phan, D.H., Pointcheval, D.: About the security of ciphers (semantic security and pseudo-random permutations). In: Handschuh, H., Hasan, M.A. (eds.) SAC 2004. LNCS, vol. 3357, pp. 182-197. Springer, Heidelberg (2004)
9. Sabelfeld, A., Myers, A.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Comunications 21, 5-19 (2003) [10] Sabelfeld, A., Sands, D.: Declassification: Dimensions and principles. Journal of Computer Security (2007) [11] Smith, G., Alpzar, R.: Secure information flow with random assignment and encryption. In: FMSE, pp. 33-44 (2006)
10. Volpano, D.M.: Secure introduction of one-way functions. In: CSFW, pp. 246-254 (2000)
11. Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. Journal of Computer Security 4(2/3), 167-188 (1996)