Designing sequence diagram models for robustness to attacks

Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014

Volumn , Issue , 2014, Pages 26-33

  Bannour, Boutheina ^a   Escobedo, Jose ^b   Gaston, Christophe ^a   Gall, Pascale Le ^b   Pedroza, Gabriel ^b  

^a DIF   (France)

^b ECOLE CENTRALE PARIS   (France)

Author keywords

attack diagnosis; model analysis; Robustness to attacks; security watchdog testing; sequence diagrams; smart grids; symbolic execution

Indexed keywords

COMPLEX NETWORKS; INFORMATION TECHNOLOGY; SOFTWARE ENGINEERING; SOFTWARE TESTING;

ATTACK DIAGNOSIS; MODEL ANALYSIS; SEQUENCE DIAGRAMS; SMART GRID; SYMBOLIC EXECUTION;

SMART POWER GRIDS;

EID: 84903649434     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2014.50     Document Type: Conference Paper

References (15)

1. P. Huitsing, R. Chandia, M. Papa, and S. Shenoi, "Attack taxonomies for the modbus protocols," International Journal of Critical Infrastructure Protection, vol. 1, no. 0, pp. 37-44, 2008.
2. Object Management Group, "The UML standard specification," in http://www.omg.org/spec/UML/2.4.1/.
3. M. Büchler, J. Oudinet, and A. Pretschner, "Security mutants for property-based testing," in Tests and Proofs. Springer, 2011, pp. 69-77.
4. M. Felderer, B. Agreiter, R. Breu, and A. Armenteros, "Security testing by telling teststories," in Proceedings of the Modellierung, 2010.
5. A. Armando, R. Carbone, L. Compagna, K. Li, and G. Pellegrino, "Model-Checking Driven Security Testing of Web-Based Applications," 3rd. Intl. Conf. ICSTW, pp. 361-370, apr 2010.
6. L. Tamilselvan and D. V. Sankaranarayanan, "Prevention of impersonation attack in wireless mobile ad hoc networks," Intl. Journal of Computer Science and Network Security, vol. 7, no. 3, pp. 118-123, 2007.
7. U. Meyer and S. Wetzel, "A man-in-the-middle attack on umts," in Proc. of the 3rd ACM workshop on Wireless security. ACM, 2004, pp. 90-97.
8. Object Management Group, "A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL," 2009, http://www.omg.org/ spec/MARTE/.
9. J. Gao, Y. Xiao, J. Liu, W. Liang, and C. P. Chen, "A survey of communication/networking in smart grids," Future Generation Computer Systems, vol. 28, no. 2, pp. 391-404, 2012.
10. B. Bannour, C. Gaston, and D. Servat, "Eliciting unitary constraints from timed sequence diagram with symbolic techniques: application to testing," in 18th APSEC. IEEE, 2011.
11. W. Wang and Z. Lu, "Cyber security in the smart grid: Survey and challenges," Computer Networks, vol. 57, no. 5, pp. 1344-1371, 2013.
12. CEA LIST, "Papyrus," http://www.eclipse.org/papyrus/.
13. B. Bannour, J. P. Escobedo, C. Gaston, and P. Le Gall, "Off-line test case generation for timed symbolic model-based conformance testing," in Testing Software and Systems. Springer, 2012, pp. 119-135.
14. R. Alur and D. Dill, "The Theory of Timed Automata," in Proc. of REX Workshop the Real-Time: Theory in Practice. Springer, 1992.
15. B. Bannour, C. Gaston, A. Lapitre, and J. P. Escobedo, "Incremental symbolic conformance testing from uml marte sequence diagrams: railway use case," in 14th Intl Symposium HASE. IEEE, 2012, pp. 9-16.