Verification of initial-state opacity in security applications of DES

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 328-333

  Saboori, Anooshiravan ^a   Hadjicostis, Christoforos N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OPACITY; STATE ESTIMATION; TECHNICAL PRESENTATIONS;

DISCRETE EVENT SYSTEMS; ESTIMATION PROBLEMS; INITIAL STATES; SECURITY APPLICATIONS; STATE ESTIMATORS;

OPTICAL PROPERTIES;

EID: 53149132772     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605967     Document Type: Conference Paper

References (15)

1. R. Focardi and R. Gorrieri, "A taxonomy of trace-based security properties for CCS," in Proc. of the 7th Workshop on Computer Security Foundations, June 1994, pp. 126-136.
2. S. Schneider and A. Sidiropoulos, "CSP and anonymity," in Proc. of the 4th European Symposium on Research in Computer Security, September 1996, pp. 198-218.
3. J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," in Proc. of the 3rd International Workshop on Formal Aspects in Security and Trust, July 2005, pp. 81-95.
4. A. Saboori and C. N. Hadjicostis, "Notions of security and opacity in discrete event systems," in Proc. of the 46th IEEE Conference on Decision and Control, December 2007, pp. 5056-5061.
5. D. K. Pradhan and M. Chatterjee, "GLFSR - a new test pattern generator for built-in-self-test," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 2, pp. 238-247, February 1999.
6. R. Anderson, "On Fibonacci keystream generators," in Proc. of International Workshop on Fast Software Encryption, 1995, pp. 346-352.
7. M. Briceno, I. Goldberg, and D. Wagner. A pedagogical implementation of the GSM A5/1 and A5/2 voice privacy encryption algorithms. [Online]. Available: http://www.scard.org/gsm/a51.html
8. J. W. Bryans, M. Koutny, and P. Y. A. Ryan, "Modelling opacity using Petri nets," Electronic Notes in Theoretical Computer Science, vol. 121, pp. 101-115, February 2005.
9. E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and Ph. Darondeau, "Concurrent secrets," in Proc. of the 8th International Workshop on Discrete Event Systems, July 2006, pp. 51-57.
10. N. Hadj-Alouane, S. Lafrance, L. Feng, J. Mullins, and M. Yeddes, "On the verification of intransitive noninterference in multilevel security," IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol. 35, no. 5, pp. 948-958, October 2005.
11. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
12. W. Wonham, Supervisory Control of Discrete-Event Systems, Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto. Available at www. Utoronto.ca/DES, 2005.
13. S. Hashtrudi Zad, H. Kwong, and W. Wonham, "Fault diagnosis in discrete event systems: Framework and model reduction," IEEE Transactions on Automatic Control, vol. 48, no. 7, pp. 1199-1212, July 2003.
14. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - a survey," Proc. of the IEEE, vol. 84, no. 8, pp. 1090-1123, August 1996.
15. K. Naik, "Efficient computation of unique input/output sequences in finite-state machines," IEEE/ACM Transactions on Networking, vol. 5, no. 4, pp. 585-599, August 1997.