{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:51:03Z","timestamp":1743004263607,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540256304"},{"type":"electronic","value":"9783540320067"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11417019_9","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T17:56:39Z","timestamp":1278870999000},"page":"125-139","source":"Crossref","is-referenced-by-count":0,"title":["Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach"],"prefix":"10.1007","author":[{"given":"Arnab","family":"Ray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Sun solaris documentation. Solaris X Windows Developers Guide: SUN Microsystems (1999)"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/989.357400","volume":"2","author":"J.-M. Chang","year":"1984","unstructured":"Chang, J.-M., Maxemchuk, N.F.: Reliable broadcast protocols. ACM Trans. Comput. Syst.\u00a02(3), 251\u2013273 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"615","DOI":"10.3233\/JCS-2003-11406","volume":"11","author":"H. Mantel","year":"2003","unstructured":"Mantel, H., Sabelfeld, A.: A unifying approach to the security of distributed and multi-threaded programs. J. Computer Security\u00a011(4), 615\u2013676 (2003)","journal-title":"J. Computer Security"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelertner, D.: Linda in context. Communications of the ACM\u00a032(4), 445\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"9_CR6","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark (1981)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: Formalizing architectural connection. In: 16th International Conference on Software Engineering (1994)","DOI":"10.1109\/ICSE.1994.296767"},{"key":"9_CR8","unstructured":"Ray, A.: Compositional modeling of interaction centric concurrent systems. Ph.D thesis, State University of New York at Stonybrook (2004)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ray, A., Cleaveland, R.: Architectural interaction diagrams: Aids for system modeling. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 396\u2013406 (2003)","DOI":"10.1109\/ICSE.2003.1201218"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ray, A., Cleaveland, R.: Formal modeling of middleware-based distributed systems. In: Workshop on Formal Foundations of Embedded Software and Component-Based Architecture,Satellite workshop of the European Joint Symposia on Theory and Practice of Software, Barcelona, Spain, April 2004. To appear in Electronic Notes in Theoretical Computer Science (2004)","DOI":"10.1016\/j.entcs.2004.01.010"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Information flow analysis in a discrete-time process algebra. IEEE Computer Security Foundations Workshop, 170\u2013184 (2000)","DOI":"10.1109\/CSFW.2000.856935"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communication Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"9_CR13","volume-title":"PCSFW: Proceedings of The 12th Computer Security Foundations Workshop","author":"Sewell","year":"1999","unstructured":"Sewell, Vitek: Secure composition of insecure components. In: PCSFW: Proceedings of The 12th Computer Security Foundations Workshop. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"9_CR14","unstructured":"Soley, R.: the OMG Staff Strategy\u00a0Group. Model driven architecture"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11417019_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:22:02Z","timestamp":1559244122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11417019_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540256304","9783540320067"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11417019_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}