Session types for access and information flow control

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

Volumn 6269 LNCS, Issue , 2010, Pages 237-252

  Capecchi, Sara ^a   Castellani, Ilaria ^b   Dezani Ciancaglini, Mariangiola ^a   Rezk, Tamara ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b INRIA   (France)

Author keywords

access control; communication centred computing; concurrency; secure information flow; session types

Indexed keywords

CONCURRENCY; CONTROL CONSTRUCTS; INFORMATION FLOW CONTROL; MULTIPARTY SESSIONS; SECURE INFORMATION FLOW; SECURITY LEVEL; SECURITY TYPE SYSTEMS; SESSION TYPES; TYPE SYSTEMS;

ACCESS CONTROL; CALCULATIONS; JAVA PROGRAMMING LANGUAGE; SECURITY SYSTEMS;

CONCURRENCY CONTROL;

EID: 78249269465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15375-4_17     Document Type: Conference Paper

References (21)

1. Almeida Matos, A., Boudol, G.: On Declassification and the Non-Disclosure Policy. Journal of Computer Security 17, 549-597 (2009)
2. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
3. Bhargavan, K., Corin, R., Deniélou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. In: Proc. CSF 2009, pp. 124-140. IEEE Computer Society, Los Alamitos (2009)
4. Boreale, M., Bruni, R., Nicola, R., Loreti, M.: Sessions and Pipelines for Structured Service Programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19-38. Springer, Heidelberg (2008)
5. Boudol, G., Kolundzija, M.: Access Control and Declassification. In: Proc. Computer Network Security. CCIS, vol. 1, pp. 85-98. Springer, Heidelberg (2007)
6. Denning, D.E.R.: Cryptography and Data Security. Addison-Wesley, Reading (1982)
7. Dezani-Ciancaglini, M., de'Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C. (ed.) WSFM 2010. LNCS, vol. 6194, pp. 1-28. Springer, Heidelberg (2010)
8. Focardi, R., Gorrieri, R.: Classification of Security Properties (Part I: Information Flow). In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol. 2171, pp. 331-396. Springer, Heidelberg (2001) (Pubitemid 33364383)
9. Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proc. IEEE Symposium on Security and Privacy, pp. 11-20. IEEE Computer Society, Los Alamitos (1982)
10. Honda, K., Yoshida, N.: A Uniform Type Structure for Secure Information Flow. In: Proc. POPL 2002, pp. 81-92. ACM Press, New York (2002)
11. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: Proc. POPL 2008, pp. 273-284. ACM Press, New York (2008)
12. Kobayashi, N.: Type-Based Information Flow Analysis for the Pi-Calculus. Acta Informatica 42(4-5), 291-347 (2005)
13. Kolundžija, M.: Security Types for Sessions and Pipelines. In: Bruni, R., Wolf, K. (eds.) WSFM 2008. LNCS, vol. 5387, pp. 175-190. Springer, Heidelberg (2009)
14. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. CUP, Cambridge (1999)
15. Planul, J., Corin, R., Fournet, C.: Secure Enforcement for Global Process Specifications. In: Proc. CONCUR 2009. LNCS, vol. 5710, pp. 511-526. Springer, Heidelberg (2009)
16. Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications 21(1), 5-19 (2003)
17. Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: Proc. CSFW2000, pp. 200-214. IEEE Computer Society, Los Alamitos (2000)
18. Sabelfeld, A., Sands, D.: Dimensions and Principles of Declassification. In: Proc. CSFW 2005. IEEE Computer Society, Los Alamitos (2005)
19. Smith, G., Volpano, D.: Secure Information Flow in a Multi-threaded Imperative Language. In: Proc. POPL 1998, pp. 355-364. ACM Press, New York (1998)
20. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
21. Volpano, D., Irvine, C., Smith, G.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security 4(2,3), 167-187 (1996)