{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:20:56Z","timestamp":1737436856336,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_39","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"701-717","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Secure Interoperation of Secure Distributed Databases"],"prefix":"10.1007","author":[{"given":"Fred","family":"Gilham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. A.","family":"Riemenschneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Stavridou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"39_CR1","series-title":"Technical Report CMU-CS-95-111","doi-asserted-by":"crossref","DOI":"10.21236\/ADA292237","volume-title":"Formalizing style to understand descriptions of software architecture","author":"G. Abowd","year":"1995","unstructured":"G. Abowd, R. Allen, and D. Garlan. Formalizing style to understand descriptions of software architecture. Technical Report CMU-CS-95-111, School of Computer Science, Carnegie Mellon University, January 1995."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In S. Abramsky and T. S. E. Maibaum, editors, Proceedings of TAPSOFT\u2019 91, pages 71\u201380. Springer-Verlag, 1991.","DOI":"10.1007\/3540539816_73"},{"key":"39_CR3","series-title":"Technical Report","volume-title":"Compositional refinement of interactive systems","author":"M. Broy","year":"1992","unstructured":"M. Broy. Compositional refinement of interactive systems. Technical Report No. 89, Digital Systems Research Center, Palo Alto, July 1992."},{"issue":"2,3","key":"39_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.3233\/JCS-1996-42-308","volume":"4","author":"L. J. LaPadula","year":"1996","unstructured":"L. J. LaPadula and D. E. Bell. MITRE technical report 2547, Volume II. Journal of Computer Security, 4(2,3):239\u2013263, 1996.","journal-title":"Journal of Computer Security"},{"issue":"4","key":"39_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385971","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):314\u2013335, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"M. Moriconi and X. Qian. Correctness and composition of software architectures. In Proceedings 2nd ACM Symposium on Foundations of Software Engineering (SIGSOFT\u2019 94), pages 164\u2013174. ACM Press, 1994.","DOI":"10.1145\/193173.195403"},{"issue":"4","key":"39_CR7","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356\u2013372, April 1995. Available at http:\/\/www.csl.sri.com\/sadl\/tse95.ps.gz .","journal-title":"IEEE Transactions on Software Engineering"},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"M. Moriconi, X. Qian, R. A. Riemenschneider, and L. Gong. Secure software architectures. In Proceedings of the 1997 IEEE Symposium on Security and Privacy, pages 84\u201393, May 1997. Available at http:\/\/www.csl.sri.com\/sadl\/sp97.ps.gz .","DOI":"10.1109\/SECPRI.1997.601320"},{"key":"39_CR9","series-title":"Technical Report","volume-title":"Introduction to Sadl 1.0: A language for specifying software architecture hierarchies","author":"M. Moriconi","year":"1997","unstructured":"M. Moriconi and R. A. Riemenschneider. Introduction to Sadl 1.0: A language for specifying software architecture hierarchies. Technical Report SRI-CSL-97-01, Computer Science Laboratory, SRI International, March 1997. Available at http:\/\/www.csl.sri.com\/sadl\/sadl-intro.ps.gz ."},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"R. B. Neely and J. W. Freeman. Structuring systems for formal verification. In Proccedings of the IEEE Symposium on Security and Privacy, pages 2\u201313, April 1985.","DOI":"10.1109\/SP.1985.10012"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"R. B. Neely, J. W. Freeman, and M. D. Krenzin. Achieving understandable results in a formal design verification. In Proceedings of the Computer Security Workshop II, pages 115\u2013124, June 1989.","DOI":"10.1109\/CSFW.1989.40594"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"J. Philipps and B. Rumpe. Refinement of information flow architectures. In Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM\u2019 97), pages 203\u2013212, November 1997. Available at http:\/\/www4.informatik.tu-muenchen.de\/papers\/icfem_rumpe_1997_Publication.html .","DOI":"10.1109\/ICFEM.1997.630427"},{"key":"39_CR13","unstructured":"R. A. Riemenschneider. A simplified method for establishing the correctness of architectural refinements. SRI CSL Dependable System Archiecture Group, Working Paper DSA-97-02. Available at http:\/\/www.csl.sri.com\/sadl\/simplified.ps.gz ., November 1997."},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"R. A. Riemenschneider. Checking the correctness of architectural transformation steps via proof-carrying architectures. In Proccedings of the First Working IFIP Conference on Software Architecture, Kluwer Academic Press, 1999. Available at http:\/\/www.csl.sri.com\/sadl\/checking.ps.gz .","DOI":"10.1007\/978-0-387-35563-4_5"},{"key":"39_CR15","unstructured":"R. A. Riemenschneider. Correct transformation rules for incremental development of architecture hierarchies. SRI CSL Dependable System Architecture Group, Working Paper DSA-98-01. Available at http:\/\/www.csl.sri.com\/sadl\/incremental.ps.gz . February 1998."},{"key":"39_CR16","unstructured":"W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. Addison-Wesley, 1987."},{"key":"39_CR17","unstructured":"X\/Open Company, Apex Plaza, Forbury Road, Reading, Berkshire RG1 1AX, U.K. Distributed Transaction Processing: Reference Model, November 1993."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:27:33Z","timestamp":1737397653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_39"}},"subtitle":["An Architecture Verification Case Study"],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}