| 书目名称 | Engineering Secure Software and Systems |
| 副标题 | Second International |
| 编辑 | Fabio Massacci,Dan Wallach,Nicola Zannone |
| 视频video | |
| 概述 | Fast track conference proceeding.Unique visibility.State of the art research |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique event aimed at bringing together researchersfrom softwareen- neering and security engineering, which might help to unite and further develop the two communities in this and future editions. The parallel technical spons- ships from the ACM SIGSAC (the ACM interest group in security) and ACM SIGSOF (the ACM interest group in software engineering) is a clear sign of the importance of this inter-disciplinary research area and its potential. The di?culty of building secure software systems is no longer focused on mastering security technology such as cryptography or access control models. Other important factors include the complexity of modern networked software systems, the unpredictability of practical development life cycles, the intertw- ing of and trade-o? between functionality, security and other qualities, the d- culty of dealing with human factors, and so forth. Over the last years, an entire research domain has been building up around these problems. The conference program included two major keynotes from Any Gordon (Microsoft Resea |
| 出版日期 | Conference proceedings 2010 |
| 关键词 | Java; calculus; model checking; program rewriting; security architecture; security assurance; security mea |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-11747-3 |
| isbn_softcover | 978-3-642-11746-6 |
| isbn_ebook | 978-3-642-11747-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2010 |
发表于 2025-3-21 20:07:14
