书目名称 | Engineering Secure Software and Systems |
副标题 | First International |
编辑 | Fabio Massacci,Samuel T. Redwine,Nicola Zannone |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009...The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.. |
出版日期 | Conference proceedings 2009 |
关键词 | business processes; code complexity; conceptual modeling; data engineering; data semantics; dynamic taint |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-00199-4 |
isbn_softcover | 978-3-642-00198-7 |
isbn_ebook | 978-3-642-00199-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2009 |