A general framework for nondeterministic, probabilistic, and stochastic noninterference

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

Volumn 5511 LNCS, Issue , 2009, Pages 18-33

  Aldini, Alessandro ^a   Bernardo, Marco ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL APPROACH; DISTRIBUTED RANDOM VARIABLES; EXPRESSIVE POWER; INFORMATION FLOW ANALYSIS; NON-DETERMINISM; PERFORMANCE EVALUATION; PROBABILISTIC CHOICES; PROBABILISTIC NONINTERFERENCE; REAL-WORLD APPLICATION; RELAXATION TECHNIQUES; SECURITY REQUIREMENTS; TEMPORAL BEHAVIOR;

AUTOMATA THEORY; NETWORK SECURITY; PROBLEM SOLVING; RANDOM PROCESSES; RANDOM VARIABLES;

NETWORK PROTOCOLS;

EID: 70349333862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03459-6_2     Document Type: Conference Paper

References (22)

1. Aldini, A.: Classification of security properties in a Linda-like process algebra. J. of Science of Computer Programming 63, 16-38 (2006)
2. Aldini, A., Bernardo, M.: A formal approach to the integrated analysis of security and QoS. J. of Reliability Engineering & System Safety 92, 1503-1520 (2007)
3. Aldini, A., Bravetti, M., Gorrieri, R.: A process-algebraic approach for the analysis of probabilistic noninterference. J. of Computer Security 12, 191-245 (2004)
4. Aldini, A., Bravetti, M., Di Pierro, A., Gorrieri, R., Hankin, C., Wiklicky, H.: Two formal approaches for approximating noninterference properties. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol. 2946, pp. 1-43. Springer, Heidelberg (2004)
5. Bernardo, M., Aldini, A.: Weak Markovian bisimilarity: abstracting from prioritized/ weighted internal immediate actions. In: 10th Italian Conf. on Theoretical Computer Science, pp. 39-56. World Scientific, Singapore (2007)
6. Bravetti, M., Aldini, A.: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theoretical Comp. Science 290, 355-406 (2003)
7. Di Pierro, A., Wiklicky, H.: Quantifying timing leaks and cost optimisation. In: Chen, L., Ryan, M.D., Wang, G. (eds.) ICICS 2008. LNCS, vol. 5308, pp. 81-96. Springer, Heidelberg (2008)
8. Focardi, R., Martinelli, F., Gorrieri, R.: Information flow analysis in a discrete-time process algebra. In: IEEE Computer Security Foundations Workshop, pp. 170-184 (2000)
9. Focardi, R., Gorrieri, R.: A classification of security properties. J. of Computer Security 3, 5-33 (1995)
10. van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Comput. 121, 59-80 (1995)
11. Goguen, J.A., Meseguer, J.: Security policy and security models. In: IEEE Symp. on Security and Privacy, pp. 11-20 (1982)
12. Lanotte, R., Maggiolo-Schettini, A., Troina, A.: A classification of time and/or probability dependent security properties. In: 3rd Int. Workshop on Quantitative Aspects of Programming Languages. ENTCS, vol. 153, pp. 177-193 (2005)
13. Mantel, H., Sudbrock, H.: Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework. In: IEEE Computer Security Foundations Symposium, pp. 326-340 (2007)
14. McLean, J.: Security models and information flow. In: IEEE Symp. on Research in Security and Privacy, pp. 180-187 (1990)
15. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
16. Roscoe, A.W., Reed, G.M., Forster, R.: The successes and failures of behavioural models. Millenial Perspectives in Computer Science (2000)
17. Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. J. of Computer Security 9, 75-103 (2001)
18. Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: IEEE Computer Security Foundations Workshop, pp. 200-214 (2000)
19. Smith, G.: Probabilistic noninterference through weak probabilistic bisimulation. In: IEEE Computer Security Foundations Workshop, pp. 3-13 (2003)
20. Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton (1994)
21. Volpano, D., Smith, G.: Probabilistic noninterference in a concurrent language. In: IEEE Computer Security Foundations Workshop, pp. 34-43 (1998)
22. Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symp. on Research in Security and Privacy, pp. 144-161 (1990)