Model-based cyber security

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2007, Pages 405-412

  Rasche, Galen ^a   Allwein, Erin ^a   Moore, Michael ^a   Abbott, Ben ^a  

^a SOUTHWEST RESEARCH INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CYBER SECURITY; NETWORK DESIGN; SECURITY TOOLS;

COMPUTER CRIME; COMPUTER NETWORKS; CRYPTOGRAPHY; HIERARCHICAL SYSTEMS; INTEROPERABILITY; MATHEMATICAL MODELS;

SECURITY OF DATA;

EID: 34250165438     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2007.50     Document Type: Conference Paper

References (13)

1. G. Karsai, F. DeCaria, "Model-Integrated Online Problem-Solving Environment for Chemical Engineering," IFAC Control Engineering Practice, Vol. 5, No. 5, pp. 1-9, 1997.
2. G. Karsai, J. Sztipanovits, S. Padalkar, C. Biegl, "Model Based Intelligent Process Control for Cogenerator Plants," Journal of Parallel and Distributed Systems, pp. 90-103, 1992.
3. A. Ledeczi, M. Maroti, G. Karsai, G. Nordstrom, "Metaprogrammable Toolkit for Model-Integrated Computing," Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, pp. 311-317, Nashville, TN, March, 1999.
4. S. Owre, J. M. Rushby, and N. Shankar, "PVS: A prototype verification system," In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), Vol. 607 of Lecture Notes in Artificial Intelligence, pp. 748-752, Saratoga, NY, June 1992, Springer-Verlag.
5. J. Sztipanovits, G. Karsai, "Model-Integrated Computing," IEEE Computer, pp. 110-112, April, 1997.
6. J. Jürjens, "UMLsec: Extending UML for Secure Systems Development," UML 2002, Dresden, Sept. 30 - Oct. 4, 2002, LNCS.
7. M. S. Lund, F. den Braber, K. Stølen, "A Component-Oriented Approach to Security Risk Assessment," In Proc. 1st International Workshop on QoS in CBSE 2003 (QoSCBSE'2003), organized in conjunction with Ada-Europe 2003, pp. 99-110, Cépadues-éditions, 2003.
8. G. J. Holzmann, "The Model Checker SPIN," IEEE Transactions on Software Engineering, Vol. 23, No. 5, pp. 279-295, 1997.
9. C. Meadows, "The NRL Protocol Analyzer: An Overview," Journal of Logic Programming, Vol. 26(2), pp. 113-131, 1996.
10. G. J. Holzmann, "The SPIN Model Checker: Primer and Reference Manual," Addison Wesley, 2003.
11. R. Fredriksen, M. Kristiansen, B. A. Gran, K. Stølen, T. A. Opperud, T. Dimitrakos, "The CORAS Framework for a Model-Based Risk Management Process," In Proc. Computer Safety, Reliability and Security (Safecomp 2002), LNCS 2434, pp. 94-105, Springer, 2002.
12. UML information and documentation on the web at http://www.uml.org/
13. GME information and documentation on the web at http://www.isis. vanderbilt.edu/Projects/gme/