A Taxonomy of Security Properties for CCS

  title={A Taxonomy of Security Properties for CCS},
  author={Riccardo Focardi and Roberto Gorrieri},
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 26 extracted citations

Verification and synthesis of embedded insertion functions for opacity enforcement

2017 IEEE 56th Annual Conference on Decision and Control (CDC) • 2017
View 9 Excerpts
Highly Influenced

Probabilistic system opacity in discrete event systems

2016 13th International Workshop on Discrete Event Systems (WODES) • 2016
View 8 Excerpts
Highly Influenced

A framework for opacity in linear systems

2016 American Control Conference (ACC) • 2016
View 1 Excerpt

Opacity formulations and verification in discrete event systems

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) • 2014
View 1 Excerpt

Initial state opacity in stochastic DES

2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) • 2013
View 1 Excerpt

Similar Papers

Loading similar papers…