{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:28Z","timestamp":1725467428621},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_73","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"64-80","source":"Crossref","is-referenced-by-count":8,"title":["Security benefits from software architecture"],"prefix":"10.1007","author":[{"given":"C.","family":"Bidan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. Formalizing architectural connection. In Proceedings of the Sixteenth International Conference on Software Engineering, 1994.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"5_CR2","unstructured":"J. P. Ban\u00e2tre, C. Bryce, and D. LeM\u00e9tayer. Mechanical Proof of Security Properties. In European Symposium on Research in Computer Security, November 1994."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"D. E. Bell. Modeling the Multipolicy Machine. In Proceedings of the New Security Paradigm Workshop, pages 2\u20139, August 1994.","DOI":"10.1109\/NSPW.1994.656208"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"P.A. Bernstein. Middleware: a Model for Distributed Systems Services. Communication of the ACM, 39(2), February 1996.","DOI":"10.1145\/230798.230809"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"C. Bidan and V. Issarny. Dealing with Multi-Policy Security in Large Open Distributed Systems. Submitted for publication, May 1997.","DOI":"10.1007\/BFb0055855"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. Technical Report 39, Digital Systems Research Center, February 1989.","DOI":"10.1145\/74850.74852"},{"key":"5_CR7","unstructured":"M. Chapman and S. Montesi. Overall Concepts and Principles of TINA. Technical Report TB_MDC.018_1.0_94, TINA-C Document, 1995."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"R.H. Deng, S.K. Bhonsle, W. Wang, and A.A. Lazar. Integrating Security in CORBA Based Object Architectures. In Proceedings of the IEEE Symposium on Security and Privacy, pages 50\u201361, May 1995.","DOI":"10.1109\/SECPRI.1995.398922"},{"key":"5_CR9","unstructured":"Department of Defense Standard. Trusted computer system evaluation criteria. Technical Report DoD 5200.28-STD, December 1985."},{"issue":"2","key":"5_CR10","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"F. DeRemer","year":"1976","unstructured":"F. DeRemer and H. Kron. Programming-in-the-Large versus Programming-in-the-Small. IEEE Transactions on Software Engineering, 2(2):80\u201386, June 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR11","unstructured":"M. Gasser. Building a secure computer system. Number ISBN 0-442-23022-2. Van Nostrand Reinhold, 1988."},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97\u2013107, 1992.","journal-title":"Communications of the ACM"},{"key":"5_CR13","unstructured":"H.H. Hosmer. Metapolicies II. In Proceedings of the 15th National Computer Security Conference, pages 369\u2013378, 1992."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"V. Issarny and C. Bidan. Aster: A Framework for Sound Customization of Distributed Runtime Systems. In Proceedings of the Sixteenth IEEE International Conference on Distributed Computing Systems, 1996.","DOI":"10.1109\/ICDCS.1996.508009"},{"key":"5_CR15","unstructured":"V. Issarny, C. Bidan, and T. Saridakis. Designing an open-ended distributed file system in Aster. In Proceedings of the 9th International Conference on Parallel and Distributed Computing Systems, 1996."},{"key":"5_CR16","unstructured":"V. Issarny, C. Bidan, and T. Saridakis. Customizing Middleware to Meet Quality of Service Constraints. Submitted for publication, 1997."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"P. Janson and R. Molva. Security in open networks and distributed systems. Computer Networks and ISDN Systems, (22):323\u2013346, 1991.","DOI":"10.1016\/0169-7552(91)90092-Q"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in Distributed Systems: Theory and Practice. ACM Transactions on Computer Systems, 10(4):265\u2013310, November 1992.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/356850.356852","volume":"13","author":"C. E. Landwehr","year":"1981","unstructured":"C. E. Landwehr. Formal models for computer security. ACM Computing Surveys, 13(3):247\u2013278, November 1981.","journal-title":"ACM Computing Surveys"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"J. Magee, N. Dulay, and J. Kramer. A Constructive Development for Parallel and Distributed Programs. In Proceedings of the International Workshop on Configurable Distributed Systems, 1994.","DOI":"10.1109\/IWCDS.1994.289940"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"J. McLean. The Algebra of Security. In Proceedings of the 1988 IEEE Computer Society Symposium on Security and Privacy, pages 2\u20137, April 1988.","DOI":"10.1109\/SECPRI.1988.8092"},{"key":"5_CR22","unstructured":"National Computer Security Center. Trusted network interpretation of the tcsec. Technical Report NCSC-TG-005, July 1987."},{"key":"5_CR23","unstructured":"OMG. The Common Object Request Broker: Architecture and Specification \u2014 Revision 2.0. Technical report, OMG Document, 1995."},{"key":"5_CR24","unstructured":"OMG Security Working Group. White Paper on Security. TC Document 94.4.16, OMG, April 1994. Available by ftp at ftp.omg.org:\/pub\/docs."},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. E. Perry","year":"1992","unstructured":"D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40\u201352, 1992.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/174625.174629","volume":"16","author":"J. M. Purtilo","year":"1994","unstructured":"J. M. Purtilo. The Polylith software bus. ACM Transactions on Programming Languages and Systems, 16(1):151\u2013174, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR27","unstructured":"B. Schneier. Applied Cryptography, Second Edition: Protocols, Algorithms and Source Code in C, volume ISBN 0-471-11709-9. John Wiley & Sons, Inc., 1993."},{"issue":"4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314\u2013335, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR29","unstructured":"Sun Microsystems Inc. The Java Virtual Machine Specification. Technical report, Sun Document, 1995."},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"L. van Doorn, M. Abadi, M. Burrows, and E. Wobber. Secure Network Objects. In Proceedings of the IEEE Symposium on Security and Privacy, pages 211\u2013221, May 1996.","DOI":"10.1109\/SECPRI.1996.502683"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"E. Wobber, M. Abadi, M. Burrows, and B. Lampson. Authentication in the Taos Operating System. In Proceedings of ACM SIGOPS '93, pages 256\u2013269, 1993.","DOI":"10.1145\/168619.168640"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"A. M. Zaremski and J. M. Wing. Specification matching of software components. In Proceedings of the ACM SIGSOFT'95 Foundations of Software Engineering Symposium, 1995.","DOI":"10.1145\/222124.222135"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_73","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:04:25Z","timestamp":1555725865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}