Secure information flow with random assignment and encryption

Proceedings of the Fourth ACM Workshop on Formal Methods in Security Engineering, FMSE'06. A workshop held in conjuction with the 13th ACM Conference on Computer and Communications Security, CCS'06

Volumn , Issue , 2006, Pages 33-44

  Smith, Geoffrey ^a   Alpízar, Rafael ^a  

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

Encryption; IND CCA; IND CPA; Noninterference; Reductions; Secure information flow; Type systems

Indexed keywords

DATA FLOW ANALYSIS; INFORMATION THEORY; POLYNOMIAL APPROXIMATION; PROBABILISTIC LOGICS; PUBLIC KEY CRYPTOGRAPHY; RANDOM PROCESSES;

NONINTERFERENCE; POLYNOMIAL-TIME PROGRAMS; SECURE INFORMATION FLOW; TYPE SYSTEMS;

SECURITY OF DATA;

EID: 34547244658     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1180337.1180341     Document Type: Article

References (25)

1. M. Abadi and P. Rogaway. Reconciling two views of cryptography (The computational soundness of formal encryption). In TCS '00: Proceedings of the IFIP International Conference on Theoretical Computer Science, pages 3-22, Aug. 2000.
2. A. Askarov and A. Sabelfeld. Security-typed languages for implementation of cryptographic protocols: A case study. In Proceedings of the 10th European Symposium on B.esearch in Computer Security (ESORICS 2005), pages 197-221, Sept. 2005.
3. M. Backes and B. Pfitzmann. Computational probabilistic noninterference. In Proceeding 7th ESORICS, pages 1-23, 2002.
4. M. Backes and B. Pfitzmann. Relating symbolic and cryptographic secrecy. In Proceeding 26th IEEE Symposium on Security and Privacy, Oakland, California, 2005.
5. M. Bellare, E. Desai, E. Jokipii, and P. Rogaway. A concrete security treatment of symmetric encryption: Analysis of DES modes of operation. In Proceedings of the 38th Symposium on Foundations of Computer Science, 1997.
6. M. Bellare and P. Rogaway. Introduction to modern cryptography. At http://www-cse.ucsd.edu/users/mihir/cse207/classnotes.html, 2005.
7. D. Clark, S. Hunt, and P. Malucaria. Quantitative analysis of the leakage of confidential data. Electronic Notes in Theoretical Computer Science, 59(3), 2001.
8. D. Denning and P. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7):504-513, 1977.
9. A. Di Pierro, C. Hankin, and H. Wiklicky. Approximate non-interference. In Proceedings 15th IEEE Computer Security Foundations Workshop, pages 1-17, Cape Breton, Nova Scotia, Canada, June 2002.
10. W. Feller. An Introduction to Probability Theory and Its Applications, volume I. John Wiley & Sons, Inc., Third edition, 1968.
11. B. Jonsson and K. Larsen. Specification and refinement of probabilistic processes. In Proc. 6th IEEE Symposium on Logic in Computer Science, pages 266-277, 1991.
12. M. H. Kang and I. S. Moskowitz. A pump for rapid, reliable secure communication. In Proceedings of the 1st ACM Conference on Computer & Communications Security, pages 119-129, Nov. 1993.
13. P. Laud. Semantics and program analysis of computationally secure information flow. In Proceedings 10th ESOP (European Symposium on Programming, pages 77-91, 2001.
14. P. Laud. Handling encryption in an analysis for secure information flow. In Proceedings 12th ESOP (European Symposium on Programming, pages 159-173, 2003.
15. P. Laud. Secrecy types for a simulatable cryptographic library. In Proceedings 12th CCS (ACM Conference on Computer and Communications Security), pages 26-35, 2005.
16. P. Laud and V. Vene. A type system for computationally secure information flow. In Proceedings of the 15th International Symposium on Fundamentals of Computational Theory, volume 3623 of Lecture Notes in Computer Science, pages 365-377, Lübeck, Germany, 2005.
17. P. Li and S. Zdancewic. Downgrading policies and relaxed noninterference. In Proceedings 32nd Symposium on Principles of Programming Languages, pages 158-170, Jan. 2005.
18. A. C. Myers, S. Chong, N. Nystrom, L. Zheng, and S. Zdancewic. Jif: Java + information flow. Cornell University, 2004. Available at http://www.cs.cornell.edu/jif/.
19. A. Sabelfeld and A. C. Myers. Language-based information flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, Jan. 2003.
20. A. Sabelfeld and D. Sands. Dimensions and principles of declassification. In Proceedings 18th IEEE Computer Security Foundations Workshop, June 2005.
21. G. Smith. A new type system for secure information flow. In Proceedings 14th IEEE Computer Security Foundations Workshop, pages 115-125, Cape Breton, Nova Scotia, Canada, June 2001.
22. G. Smith. Probabilistic noninterference through weak probabilistic bisimulation. In Proceedings 16th IEEE Computer Security Foundations Workshop, pages 3-13, Pacific Grove, California, June 2003.
23. D. Volpano. Secure introduction of one-way functions. In Proceedings 13th IEEE Computer Security Foundations Workshop, pages 246-254, Cambridge, UK, June 2000.
24. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(2,3):167-187, 1996.
25. B. Warinschi. A computational analysis of the Needham-Schroeder-(Lowe) protocol. In Proceedings 16th IEEE Computer Security Foundations Workshop, pages 248-262, Pacific Grove, California, June 2003.