Information flow testing the third path towards confidentiality guarantee

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

Volumn 4846 LNCS, Issue , 2007, Pages 33-47

  Le Guernic, Gurvan ^a,b  

^a KANSAS STATE UNIVERSITY   (United States)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; SEMANTICS; VERIFICATION;

NONINTERFERENCE VERIFICATION; STATIC ANALYSES;

INFORMATION ANALYSIS;

EID: 38349070556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76929-3_4     Document Type: Conference Paper

References (17)

1. Ashby, W.R.: An Introduction to Cybernetics. Chapman & Hall, Sydney, Australia (1956)
2. Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proc. Symp. on Security and Privacy, pp. 11-20. IEEE Computer Society Press, Los Alamitos (1982)
3. Cohen, E.S.: Information transmission in computational systems. ACM SIGOPS Operating Systems Review 11(5), 133-139 (1977)
4. Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. on Selected Areas in Communications 21(1), 5-19 (2003)
5. Vachharajani, N., Bridges, M.J., Chang, J., Rangan, R., Ottoni, G., Blome, J.A., Reis, G.A., Vachharajani, M., August, D.I.: Rifle: An architectural framework for user-centric information-flow security. In: Proceedings of the International Symposium on Microarchitecture (2004)
6. Le Guernic, G., Banerjee, A., Jensen, T., Schmidt, D.: Automata-based Confidentiality Monitoring. In: Proc. Asian Computing Science Conference. LNCS, Springer, Heidelberg (2006)
7. Shroff, P., Smith, S.F., Thober, M.: Dynamic dependency monitoring to secure information flow. In: Proc. Computer Security Foundations Symposium, IEEE Computer Society, Los Alamitos (2007)
8. Le Guernic, G., Jensen, T.: Monitoring Information Flow. In: Proc. Workshop on Foundations of Computer Security, DePaul University, pp. 19-30 (2005)
9. Ntafos, S.C.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14(6), 868-874 (1988)
10. Beizer, B.: Software Testing Techniques. International Thomson Computer Press (1990)
11. Williams, N., Marre, B., Mouy, P., Muriel, R.: Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 281-292. Springer, Heidelberg (2005)
12. Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: Proc. Programming Language Design and Implementation. ACM SIGPLAN Notices, vol. 40, pp. 213-223 (2005)
13. Sen, K., Agha, G.: Cute and JCute: Concolic unit testing and explicit path modelchecking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419-423. Springer, Heidelberg (2006)
14. Gupta, N., Mathur, A.P., Soffa, M.L.: Automated Test Data Generation Using an Iterative Relaxation Method. In: Proc. Symposium on Foundations of Software Engineering, pp. 231-244. ACM Press, New York (1998)
15. Myers, A.C.: JFlow: Practical mostly-static information flow control. In: Proc. Symp. on Principles of Programming Languages, pp. 228-241 (1999)
16. Pottier, F., Simonet, V.: Information flow inference for ML. ACM Trans. on Programming Languages and Systems 25(1), 117-158 (2003)
17. Le Guernic, G.: Automaton-based Confidentiality Monitoring of Concurrent Programs. In: Proc. Computer Security Foundations Symposium (2007)