Show simple item record

dc.contributor.authorJUERJENS, JAN
dc.contributor.authorFOX, JORGE
dc.contributor.editorOsterweil, Leon J.en
dc.contributor.editorRombach, Dieter H.en
dc.contributor.editorSoffa, Mary Louen
dc.date.accessioned2008-03-29T02:53:18Z
dc.date.available2008-03-29T02:53:18Z
dc.date.createdMay 20-28, 2006en
dc.date.issued2006
dc.date.submitted2006en
dc.identifier.citationJan 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 - 822en
dc.identifier.otherY
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/15159
dc.descriptionPUBLISHEDen
dc.description.abstractWe 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.sponsorshipThis 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 C38en
dc.format.extent819en
dc.format.extent822en
dc.format.extent130754 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherACMen
dc.rightsYen
dc.subjectFormal Methodsen
dc.subjectSecurityen
dc.subjectSoftware/Program Verificationen
dc.subjectmodel-based software engineeringen
dc.titleTools for model-based security engineeringen
dc.typeConference Paperen
dc.contributor.sponsorGerman Federal Ministry of Education, Science, Research and Technology (BMBF)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/foxj1
dc.identifier.rssinternalid49666
dc.identifier.rssurihttp://www.informatik.uni-trier.de/%7Eley/db/conf/icse/icse2006.html#JurjensF06


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record