Monitoring confidentiality by diagnosis techniques

2009 European Control Conference, ECC 2009

Volumn , Issue , 2014, Pages 2584-2589

  Dubreil, Jeremy ^a   Jeron, Thierry ^a   Marchand, Herve ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

CONFIDENTIAL INFORMATION; DIAGNOSIS TECHNIQUES; SECRET INFORMATION;

DISCRETE EVENT SIMULATION;

EID: 84955199515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2009.7074795     Document Type: Conference Paper

References (13)

1. B. Blanchet, A. M., and C. Fournet, "Automated Verification of Selected Equivalences for Security Protocols," in 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005, pp. 331-340.
2. G. Lowe, "Towards a completeness result for model checking of security protocols," Journal of Computer Security, vol. 7, 1999.
3. V. Darmaillacq, J.-C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier, "Test generation for network security rules," in TestCom 2006, ser. LNCS, vol. 3964, 2006.
4. J. Bryans, M. Koutny, L. Mazaré, and P. Y. A. Ryan, "Opacity generalised to transition systems," Int. Jour. of Information Security, 2008.
5. R. Alur, P. C erný, and S. Zdancewic, "Preserving secrecy under refinement," in Proc. of the 33rd International Colloquium on Automata, Languages and Programming. Springer, 2006, pp. 107-118.
6. T. Jéron, H. Marchand, S. Pinchinat, and M.-O. Cordier, "Supervision patterns in discrete event systems diagnosis," in Workshop on Discrete Event Systems, WODES'06, Ann-Arbor (MI, USA), July 2006.
7. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, "Concurrent secrets," in 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, and D. Tilbury, Eds., Ann Arbor, Michigan, USA, July 2006.
8. J. Dubreil, T. Jéron, and H. Marchand, "Monitoring information flow by diagnosis techniques," IRISA, Tech. Rep. 1901, August 2008.
9. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis., "Diagnosability of discrete event systems," IEEE Transactions on Automatic Control, 1995.
10. T. Jéron, H. Marchand, S. Genc, and S. Lafortune, "Predictability of sequence patterns in discrete event systems," in IFAC World Congress, Seoul, Korea, July 2008.
11. F. B. Schneider, "Enforceable security policies," ACM Trans. Inf. Syst. Secur., vol. 3, no. 1, pp. 30-50, 2000.
12. J. Ligatti, L. Bauer, and D. Walker, "Edit automata: Enforcement mechanisms for run-time security policies," International Journal of Information Security, vol. 4, no. 1-2, pp. 2-16, Feb. 2005.
13. J. Glasgow, G. Macewen, and Panangaden, "A logic for reasoning about security," ACM Transactions on Computer Systems,, vol. 10, no. 3, 1992.