@incollection(DBLP:bibsonomy_dean03, author = "Sean Bechhofer", year = "2009", title = "{OWL: Web ontology language}", booktitle = "Encyclopedia of Database Systems", publisher = "Springer", pages = "2008--2009", doi = "10.1007/978-0-387-39940-9\_1073", ) @inproceedings(camtepemodelingand, author = "Seyit~Ahmet Camtepe and B{\"u}lent Yener", year = "2007", title = "Modeling and detection of complex attacks", booktitle = "Third International Conference on Security and Privacy in Communications Networks and the Workshops (SecureComm 2007)", organization = "IEEE", pages = "234--243", doi = "10.1109/SECCOM.2007.4550338", ) @inproceedings(4076691, author = "A.~Ekelhart and S.~Fenz and M.~Klemen and E.~Weippl", year = "2007", title = "{Security Ontologies: Improving Quantitative Risk Analysis}", booktitle = "{40th Annual Hawaii International Conference on System Sciences}", series = "40th Annual Hawaii International Conference on System Sciences (HICSS'07)", pages = "156a", doi = "10.1109/HICSS.2007.478", ) @article(Fikes03owl-ql, author = "R.~Fikes and P.~Hayes and I.~Horrocks", year = "2004", title = "{OWL-QL -- A language for deductive query answering on the Semantic Web}", journal = "{Journal Web Semantics: Science, Services and Agents on the World Wide Web}", pages = "19--29", doi = "10.1016/j.websem.2004.07.002", ) @inproceedings(Haarslev03racer:an, author = "V.~Haarslev and R.~Moller", year = "2003", title = "{RACER: An OWL Reasoning Agent for the Semantic Web}", booktitle = "{1st International Workkshop on Applications, Products and Services of Web-based Support Systems (WCC'03)}", pages = "91--95", ) @book(SysML-Book, author = "J.~Holt and S.~Perry", year = "2007", title = "{SysML for System Engineering (Professional Applications of Computing)}", volume = "7", publisher = "IET", ) @misc(Horrocks04, author = "I.~Horrocks and P.~F. Patel-Schneider and H.~Boley and S.~Tabet and B.~Grosof and M.~Dean", year = "2004", title = "{SWRL: A Semantic Web Rule Language Combining OWL and RuleML}", howpublished = "Available at \url {http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/}", ) @techreport(EvitaD4.4.2, author = "M.~Sabir Idrees and Y.~Roudier and L.~Apvrille and G.~Pedroza", year = "2011", title = "{Test Results}", type = "Technical Report", number = "D4.4.2", institution = "EVITA Project", ) @book(Jackson:2000:PFA:513720, author = "M.~Jackson", year = "2001", title = "{Problem Frames: Analyzing and Structuring Software Development Problems}", publisher = "Addison-Wesley Professional", ) @book(Juerjens:2003:SSD:996198, author = "J.~J\"{u}erjens", year = "2003", title = "{Secure Systems Development with UML}", publisher = "Springer", doi = "10.1007/b137706", ) @inproceedings(DBLP:conf/otm/KimLK05, author = "A.~Kim and J.~Luo and M.~Kang", year = "2005", title = "{Security Ontology for Annotating Resources}", booktitle = "{Proceedings of the 2005 OTM Confederated international conference on the Move to Meaningful Internet Systems (OTM'05)}", pages = "1483--1499", doi = "10.1007/11575801\_34", ) @misc(TTool, author = "TELECOM~ParisTech LabSoc", title = "{The TURTLE Toolkit - TTool}", howpublished = "Available at \url {http://labsoc.comelec.enst.fr/turtle/ttool.html}", ) @inproceedings(Lamsweerde03fromobject, author = "A.~van Lamsweerde and E.~Letier", year = "2004", title = "{From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering}", booktitle = "{9th International Workshop on Radical Innovations of Software and System Engineering (RISSEF 2002)}", pages = "325--340", doi = "10.1007/978-3-540-24626-8\_23", ) @inproceedings(Lin:2003:IAF:942807.943895, author = "L.~Lin and B.~Nuseibeh and D.~Ince and M.~Jackson and J.~Moffett", year = "2003", title = "{Introducing Abuse Frames for Analysing Security Requirements}", booktitle = "Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE'03)", pages = "371--372", doi = "10.1109/icre.2003.1232791", ) @inproceedings(Mouratidis02anatural, author = "H.~Mouratidis and P.~Giorgini and G.~Manson and I.~Philp", year = "2002", title = "{A Natural Extension of Tropos Methodology for Modelling Security}", booktitle = "Proceedings of the Agent Oriented Methodologies Workshop (OOPSLA'02)", ) @inproceedings(conf/semweb/OConnorD08, author = "M.~J. O'Connor and A.~K. Das", year = "2009", title = "{SQWRL: A Query Language for OWL}", booktitle = "Proceedings of the 5th International Workshop on OWL: Experiences and Directions", series = "OWLED'09", ) @misc(prudhommeaux2006-1, author = "E.~Prud'hommeaux and A.~Seaborne", year = "2008", title = "{SPARQL Query Language for RDF}", howpublished = "Available at \url {http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/}", ) @inproceedings(EURECOM+4119, author = "{Y}ves {R}oudier and {M}uhammad~{S}abir {I}drees and {L}udovic {A}pvrille", year = "2013", title = "{Towards the model-driven engineering of security requirements for embedded systems}", booktitle = "{International Workshop on Model-Driven Requirements Engineering (MODRE 2013)}", doi = "10.1109/MoDRE.2013.6597264", ) @techreport(EvitaD2.3, author = "A.~Ruddle and D.~Ward and B.~Weyl and S.~Idrees and Y.~Roudier and M.~Friedewald and T.~Leimbach and A.~Fuchs and S.~G\"{u}rgens and O.~Henniger and R.~Rieke and M.~Ritscher and H.~Broberg and L.~Apvrille and R.~Pacalet and G.~Pedroza", year = "2009", title = "Security requirements for automotive on-board networks based on dark-side scenarios", type = "Technical Report", number = "Deliverable D2.3", institution = "EVITA Project", ) @article(Schneier1999, author = "B.~Schneier", year = "1999", title = "{Attack trees}", journal = "Dr. Dobb's journal", volume = "24", number = "12", pages = "21--29", ) @inproceedings(891363, author = "G.~Sindre and A.~L. Opdahl", year = "2000", title = "{Eliciting Security Requirements by Misuse Cases}", booktitle = "Proceedings of the 37th International Conference on Technology of Object-Oriented Languages and Systems", series = "TOOLS-Pacific'00", pages = "120--131", doi = "10.1109/TOOLS.2000.891363", ) @inproceedings(collaborativeattack, author = "J.~Stefan and M.~Schumacher", year = "2002", title = "{Collaborative Attack Modeling}", booktitle = "Proceedings of the 2002 ACM Symposium on Applied Computing", series = "SAC'02", pages = "253--259", doi = "10.1145/508832.508843", ) @misc(protege, author = "Stanford University", title = "{Prot\'{e}g\'{e} Ontology Editor and Knowledge-base Framework}", howpublished = "Available at \url {http://protege.stanford.edu/}", ) @inproceedings(VanLamsweerde2007, author = "A.~{van Lamsweerde}", year = "2007", title = "{Engineering Requirements for System Reliability and Security}", booktitle = "Software System Reliability and Security", series = "NATO Security through Science Series - Information and Communicarion Security", pages = "196--238", ) @inproceedings(Vignaattacklanguages, author = "G.~Vigna and S.~Eckmann and R.~Kemmerer", year = "2000", title = "{Attack Languages}", booktitle = "Proceedings of the IEEE Information Survivability Workshop", series = "ISW'00", pages = "163--166", ) @inproceedings(Whittle:2008:EMC:1368088.1368106, author = "J.~Whittle and D.~Wijesekera and M.~Hartong", year = "2008", title = "{Executable misuse cases for modeling security concerns}", booktitle = "Proceedings of the 30th international conference on Software engineering", series = "ICSE'08", pages = "121--130", doi = "10.1145/1368088.1368106", )