Information Flow Testing

• Autorzy: Gruska D.P.
• Języki publikacji: EN

Abstrakty

EN

Process testing as a way to obtain information on confidential data is investigated. Our working formalism is based on an appropriate (probabilistic) process algebra and (probabilistic) testing. We define testing noninterference as well as sets of private actions which execution is guaranteed by a given test and sets of actions which execution could be excluded by a given test. Moreover, we relate obtained information to a size of the test.

Słowa kluczowe

EN

information flow; probabilistic process algebras

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 128, nr 1-2
• Strony: 81--95
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Gruska D.P.

• Institute of Informatics, Comenius University, Mlynska dolina, 842 48 Bratislava, Slovakia

Bibliografia

• [1] Clark D., S. Hunt and P. Malacaria: A Static Analysis for Quantifying the Information Flow in a Simple Imperative Programming Language. The Journal of Computer Security, 15(3). 2007.
• [2] Clarkson, M.R., A.C. Myers, F.B. Schneider: Quantifying Information Flow with Beliefs. Journal of Computer Security, vol. 17, No 5, 2009.
• [3] De Nicola R. and M. C. B. Hennessy: Testing Equivalences for Processes, Theoretical Computer Science, 34, 1984.
• [4] Focardi, R., R. Gorrieri, and F. Martinelli: Information flow analysis in a discrete-time process algebra. Proc. 13th Computer Security Foundation Workshop, IEEE Computer Society Press, 2000.
• [5] Glabbeek R. J. van, S. A. Smolka and B. Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. 121(1): 59-80, 1995.
• [6] Goguen J.A. and J. Meseguer: Security Policies and Security Models. Proc. of IEEE Symposium on Security and Privacy, 1982.
• [7] Gruska D.P.: Gained and Excluded Private Actions by Process Observations. Fundamenta Informaticae, vol. 109, No 3, 2011.
• [8] Gruska D.P.: Quantifying Security for Timed Process Algebras, Fundamenta Informaticae, vol. 93, No 1-3, 2009.
• [9] Gruska D.P.: Probabilistic Information Flow Security. Fundamenta Informaticae, vol. 85, Numbers 1-4, 2008.
• [10] Gruska D.P.: Observation Based System Security. Fundamenta Informaticae, vol. 79, No 3-4, 2007.
• [11] Hansson, H. a B. Jonsson: A Calculus for Communicating Systems with Time and Probabilities. In Proceedings of 11th IEEE Real - Time Systems Symposium, Orlando, 1990.
• [12] Lopez N. and Nunez: An Overview of Probabilistic Process Algebras and their Equivalences. In Validation of Stochastic Systems, LNCS 2925, Springer-Verlag, Berlin, 2004.
• [13] Milner, R.: Communication and concurrency. Prentice-Hall International, New York,1989.
• [14] Segala R. and N. Lynch: Probabilistic Simulations for Probabilistic Processes. Nord. J. Comput. 2(2): 250-273, 1995.
• [15] Yi W. and K.G. Larsen: Testing Probabilistic and Nondeterministic Processes. Proceeding Proceedings of the IFIP TC6 - WG6.1, 1992.