{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:56:19Z","timestamp":1730300179148,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285634","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:03Z","timestamp":1518458043000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification of security guidelines for program certification"],"prefix":"10.1109","author":[{"given":"Zeineb","family":"Zhioua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Roudier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rabea","family":"Ameur-Boulifa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"5","article-title":"Pattern matching security properties of code using dependence graphs","author":"wilander","year":"2005","journal-title":"Proc First Int'l Workshop Code Based Software Security Assessments"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-016-0016-y"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_23"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"key":"ref36","first-page":"291","article-title":"Exploring and enforcing security guarantees via program dependence graphs","author":"andrew","year":"2015","journal-title":"PLDI 2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266669"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"journal-title":"Java Platform Standard Edition 8 API Specification","article-title":"Oracle","year":"0","key":"ref10"},{"journal-title":"Java Platform Standard Edition 7 API Specification","article-title":"Oracle","year":"0","key":"ref11"},{"key":"ref12","article-title":"An overview of CADP 2001","volume":"4","author":"lang","year":"2002","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"journal-title":"Secure Coding Practices Quick Reference Guide","article-title":"OWASP","year":"0","key":"ref13"},{"journal-title":"Cryptographic storage cheat sheet","article-title":"OWASP","year":"0","key":"ref14"},{"journal-title":"App store review guidelines-privacy","article-title":"Apple","year":"0","key":"ref15"},{"journal-title":"Cert secure coding professional certificates","article-title":"CERT","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.21236\/ADA610467"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.5220\/0006209301790189"},{"journal-title":"Aorai plugin tutorial — Frama C","year":"0","author":"stouls","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2016.028"},{"journal-title":"SEI CERT Oracle Coding Standard for Java","article-title":"CERT","year":"0","key":"ref6"},{"key":"ref29","article-title":"More enforceable security policies","author":"bauer","year":"2002","journal-title":"Proceedings of Computer Security Foundations Workshop"},{"journal-title":"SEI CERT Coding Standards","year":"2017","author":"administrator","key":"ref5"},{"key":"ref8","article-title":"Checking applications using security APIs with JOANA","author":"graf","year":"2015","journal-title":"8th International Workshop on Analysis of Security APIs"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2017.51"},{"journal-title":"Facebook Ireland Ltd Report of Re-audit","year":"2012","author":"commissioner","key":"ref2"},{"year":"0","author":"zhioua","key":"ref9"},{"key":"ref1","first-page":"655","article-title":"SysML-Sec: A model driven approach for designing safe and secure systems","author":"roudier","year":"2015","journal-title":"MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref20"},{"key":"ref22","first-page":"147","article-title":"Securing software by enforcing data-flow integrity","author":"castro","year":"2006","journal-title":"Proceedings of the 7th symposium on Operating systems design and implementation"},{"journal-title":"Finite Transition Systems Semantics of Communicating Sytems","year":"1994","author":"arnold","key":"ref21"},{"key":"ref24","first-page":"1","article-title":"Model checking and the state explosion problem","author":"clarke","year":"2011","journal-title":"Software Engineering Proceedings of the LASER Summer School"},{"key":"ref23","first-page":"429","author":"valmari","year":"1998","journal-title":"The State Explosion Problem"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s100099900022"},{"journal-title":"Exemplary formalization of secure coding guidelines","year":"2010","author":"aderhold","key":"ref25"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285634.pdf?arnumber=8285634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,26]],"date-time":"2018-03-26T17:04:48Z","timestamp":1522083888000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285634","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}