Opacity generalised to transition systems

By J. Bryans, M. Koutny, L. Mazaré, Peter Y. A. Ryan. International Journal of Information Security, 2005

340 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/5ac1bf53df5d937de8065abbdd72d1344f7c7f65

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. César Sánchez
2. Bernd Finkbeiner
3. Markus Norman Rabe
4. Michael R. Clarkson
5. Kristopher K. Micinski
6. Masoud Koleini
7. Tri Dao

In Information Systems

1. Markus Norman Rabe
2. Michael R. Clarkson

Citations in the corpus

• Temporal Logics for Hyperproperties (2013, background): “[4] show that modal μ-calculus is insufficient to express all opacity policies [10], which prohibit observers from discerning the truth of a predicate.”