Can I read Test-Based Security Analysis Techniques on EtoBox?

Test-Based Security Analysis Techniques by gruska is a document available to read on EtoBox.

What is Test-Based Security Analysis Techniques about?

This document discusses test-based security analysis of systems specified using process algebras. It presents an approach that combines ideas from security theory, including absence of information flow between private and public actions. The approach defines sets of actions that are guaranteed or excluded to execute based on a given test, rather than observation traces. It uses probabilistic process algebras to quantify information leakage based on probabilities of test passing or action set membership. The

Author

gruska

Language

EN