dc.contributor.author | JUERJENS, JAN | |
dc.contributor.author | FOX, JORGE | |
dc.contributor.editor | Osterweil, Leon J. | en |
dc.contributor.editor | Rombach, Dieter H. | en |
dc.contributor.editor | Soffa, Mary Lou | en |
dc.date.accessioned | 2008-03-29T02:53:18Z | |
dc.date.available | 2008-03-29T02:53:18Z | |
dc.date.created | May 20-28, 2006 | en |
dc.date.issued | 2006 | |
dc.date.submitted | 2006 | en |
dc.identifier.citation | Jan Jurjens, Jorge Fox, Tools for model-based security engineering, 28th International Conference on Software Engineering (ICSE), Informal Tool Demo, Shanghai, China, May 20-28, 2006, edited by Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa , ACM, 2006, pp819 - 822 | en |
dc.identifier.other | Y | |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/15159 | |
dc.description | PUBLISHED | en |
dc.description.abstract | We present tool-support for checking UML models and C code against security requirements. A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools, and on control flow generated from the C code. The tool also supports weaving security aspects into the code generated from the models. Advanced users can use this open-source framework to implement verification routines for the constraints of self-defined security requirements. We focus on a verification routine that automatically verifies crypto-based software for security requirements by using automated theorem provers. | en |
dc.description.sponsorship | This work was partially funded by the German Federal
Ministry of Education, Science, Research and Technology
(BMBF) in the framework of the Verisoft project under
grant 01 IS C38 | en |
dc.format.extent | 819 | en |
dc.format.extent | 822 | en |
dc.format.extent | 130754 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | ACM | en |
dc.rights | Y | en |
dc.subject | Formal Methods | en |
dc.subject | Security | en |
dc.subject | Software/Program Verification | en |
dc.subject | model-based software engineering | en |
dc.title | Tools for model-based security engineering | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/foxj1 | |
dc.identifier.rssinternalid | 49666 | |
dc.identifier.rssuri | http://www.informatik.uni-trier.de/%7Eley/db/conf/icse/icse2006.html#JurjensF06 | |
dc.contributor.sponsor | German Federal
Ministry of Education, Science, Research and Technology
(BMBF) | en |