{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:34:07Z","timestamp":1725539647996},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642102479"},{"type":"electronic","value":"9783642102486"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10248-6_11","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:18:40Z","timestamp":1256635120000},"page":"255-283","source":"Crossref","is-referenced-by-count":3,"title":["Architecting Security with Paradigm"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Andova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luuk P. J.","family":"Groenewegen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan H. S.","family":"Verschuren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1237500.1237503","volume":"10","author":"T. Ahmed","year":"2007","unstructured":"Ahmed, T., Tripahti, A.R.: Specification and verification of security requirements in a programming model for decentralized CSCW systems. Transactions on Information and Systems Security\u00a010, Article\u00a07 (2007)","journal-title":"Transactions on Information and Systems Security"},{"key":"11_CR2","volume-title":"A Guide to Building Dependable Distributed Systems","author":"R. Anderson","year":"2001","unstructured":"Anderson, R.: A Guide to Building Dependable Distributed Systems. Wiley, Chichester (2001)"},{"key":"11_CR3","unstructured":"Andova, S., Groenewegen, L., de Vink, E.: System evolution by migration coordination. In: Serebrenik, A. (ed.) Proc. BENEVOL 2008, pp. 18\u201321. Technische Universiteit Eindhoven, Eindhoven (2008)"},{"key":"11_CR4","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Dynamic consistency in process algebra: From Paradigm to ACP. In: Canal, C., Poizat, P., Sirjani, M. (eds.) Proc. FOCLASA 2008. ENTCS, p. 19 (2008) (extended version submitted) (to appear)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Formalizing adaptation on-the-fly. In: Sala\u00fcn, G., Sirjani, M. (eds.) Proc. FOCLASA 2009. ENTCS (to appear, 2009)","DOI":"10.1016\/j.entcs.2009.10.023"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"D. Basin","year":"2006","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security: UML models to access control infrastructures. Transactions on Software Engineering and Methodology\u00a015, 39\u201391 (2006)","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D.A. Basin","year":"2005","unstructured":"Basin, D.A., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A symbolic model checker for security protocols. Journal of Information Security\u00a04, 181\u2013208 (2005)","journal-title":"Journal of Information Security"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11539452_16","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"M. Bhargava","year":"2005","unstructured":"Bhargava, M., Palamidessi, C.: Probabilistic anonymity. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 171\u2013185. Springer, Heidelberg (2005)"},{"key":"11_CR9","first-page":"82","volume-title":"Proc. CSFW","author":"B. Blanchet","year":"2001","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: Proc. CSFW, Cape Breton, pp. 82\u201396. IEEE, Los Alamitos (2001)"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/JCS-2006-14202","volume":"14","author":"C. Braghin","year":"2006","unstructured":"Braghin, C., Gorla, D., Sassone, V.: Role-based access control for a distributed calculus. Journal of Computer Security\u00a014, 113\u2013155 (2006)","journal-title":"Journal of Computer Security"},{"key":"11_CR11","first-page":"13","volume-title":"Proc. FAST 2004","author":"M. Bravetti","year":"2005","unstructured":"Bravetti, M., Busi, N., Gorrieri, R., Lucchi, R., Zavattaro, G.: Security issues in the tuple-space coordination model. In: Dimitrakos, T., Martinelli, F. (eds.) Proc. FAST 2004, p. 13. Kluwer, Dordrecht (2005)"},{"key":"11_CR12","unstructured":"Cremers, C.J.F.: Scyther: Semantics and Verification of Security Protocols. PhD thesis, Technische Universiteit Eindhoven (2006)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"van Eijck, J., Orzan, S.: Epistemic verification of anonymity. In: ter Beek, M., Cadducci, F. (eds.) Proc. VODCA 2006. ENTCS, vol.\u00a0168, pp. 159\u2013174 (2007)","DOI":"10.1016\/j.entcs.2006.08.026"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-57220-1_66","volume-title":"Advances in Cryptology - AUSCRYPT \u201992","author":"A. Fujioka","year":"1993","unstructured":"Fujioka, A., Okamoto, T.: A practical secret voting scheme for large scale elections. In: Zheng, Y., Seberry, J. (eds.) AUSCRYPT 1992. LNCS, vol.\u00a0718, pp. 244\u2013251. Springer, Heidelberg (1993)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1103576.1103585","volume-title":"Proc. FMSE","author":"F.D. Garcia","year":"2005","unstructured":"Garcia, F.D., Hasuo, I., Pieters, W., van Rossum, P.: Provable anonymity. In: Atluri, V., Samarati, P., K\u00fcsters, R., Mitchell, J.C. (eds.) Proc. FMSE, Fairfax, pp. 63\u201372. ACM, New York (2005)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/336512.336537","volume-title":"Proc. ICSE 2000","author":"D. Garlan","year":"2000","unstructured":"Garlan, D.: Software architecture: a roadmap. In: Proc. ICSE 2000, Limerick, pp. 91\u2013101. ACM, New York (2000)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46000-4_20","volume-title":"Coordination Models and Languages","author":"L. Groenewegen","year":"2002","unstructured":"Groenewegen, L., de Vink, E.P.: Operational semantics for coordination in Paradigm. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 191\u2013206. Springer, Heidelberg (2002)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11767954_7","volume-title":"Coordination Models and Languages","author":"L. Groenewegen","year":"2006","unstructured":"Groenewegen, L., de Vink, E.: Evolution on-the-fly with Paradigm. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 97\u2013112. Springer, Heidelberg (2006)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Groenewegen, L.P.J., Stam, A.W., Toussaint, P.J., de Vink, E.P.: Paradigm as organization-oriented coordination language. In: van de Torre, L., Boella, G. (eds.) Proc. CoOrg 2005. ENTCS, vol.\u00a0150(3), pp. 93\u2013113 (2005)","DOI":"10.1016\/j.entcs.2006.03.007"},{"key":"11_CR20","unstructured":"Groenewegen, L.P.J., de Vink, E.P.: Dynamic system adaptation by constraint orchestration. Technical Report CSR 08\/29, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, p.20, arXiv:0811.3492v1 (2008)"},{"key":"11_CR21","unstructured":"Groote, J.F., Mathijssen, A.H.J., Reniers, M.A., Usenko, Y.S., van Weerdenburg, M.J.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems, IBFI, Schloss Dagstuhl, 34 pages (2007)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1016\/B978-044482830-9\/50035-7","volume-title":"Handbook of Process Algebra","author":"J.F. Groote","year":"2001","unstructured":"Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 1151\u20131208. Elsevier, Amsterdam (2001)"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.tcs.2005.06.016","volume":"343","author":"J.F. Groote","year":"2005","unstructured":"Groote, J.F., Willemse, T.: Parameterised boolean equation systems. Theoretical Computer Science\u00a0343, 332\u2013369 (2005)","journal-title":"Theoretical Computer Science"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-39800-4_3","volume-title":"Formal Methods for Software Architectures","author":"J. Kramer","year":"2003","unstructured":"Kramer, J., Magee, J., Uchitel, S.: Software architecture modeling & analysis: A rigorous approach. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 44\u201351. Springer, Heidelberg (2003)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-540-31987-0_14","volume-title":"Programming Languages and Systems","author":"S. Kremer","year":"2005","unstructured":"Kremer, S., Ryan, M.: Analysis of an electronic voting protocol in the applied Pi calculus. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 186\u2013200. Springer, Heidelberg (2005)"},{"key":"11_CR26","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3233\/JCS-2008-16102","volume":"16","author":"K. Krukow","year":"2008","unstructured":"Krukow, K., Nielsen, M., Sassone, V.: A logical framework for history-based access control and reputation systems. Journal of Computer Security\u00a016, 63\u2013101 (2008)","journal-title":"Journal of Computer Security"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (2004)","DOI":"10.1016\/j.entcs.2004.02.056"},{"volume-title":"Enterprise Architecture at Work: Modelling, Communication and Analysis","year":"2005","key":"11_CR28","unstructured":"Lankhorst, M. (ed.): Enterprise Architecture at Work: Modelling, Communication and Analysis. Springer, Heidelberg (2005)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Proc. TACAS","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) Proc. TACAS. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/839268.839272","volume":"12","author":"A. Lopes","year":"2003","unstructured":"Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. Transactions on Software Engineering and Methodology\u00a012, 64\u2013104 (2003)","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055. Springer, Heidelberg (1996)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Mauw, S., Verschuren, J., de Vink, E.P.: Data anonymity in the FOO voting scheme. In: ter Beek, M., Gadducci, F. (eds.) Proc. VODCA 2006. ENTCS, vol.\u00a0168, pp. 5\u201328 (2007)","DOI":"10.1016\/j.entcs.2006.11.001"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-30108-0_7","volume-title":"Computer Security \u2013 ESORICS 2004","author":"S. Mauw","year":"2004","unstructured":"Mauw, S., Verschuren, J., de Vink, E.P.: A formalization of anonymity and onion routing. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol.\u00a03193, pp. 109\u2013124. Springer, Heidelberg (2004)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Mauw, S., Verschuren, J., de Vink, E.P.: Data anonymity in the FOO voting scheme. In: ter Beek, M., Gadducci, F. (eds.) Proc. VODCA 2006. ENTCS, vol.\u00a0168, pp. 5\u201328 (2007)","DOI":"10.1016\/j.entcs.2006.11.001"},{"key":"11_CR35","first-page":"280","volume-title":"Proc. CSFW","author":"R. Meyden van der","year":"2004","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: Proc. CSFW, Pacific Grove, pp. 280\u2013291. IEEE, Los Alamitos (2004)"},{"key":"11_CR36","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/501983.502007","volume-title":"Proc. CCS","author":"J.K. Millen","year":"2001","unstructured":"Millen, J.K., Shmatikov, V.: Constraint solving for bounded-process cryptographic protocol analysis. In: Proc. CCS, Philadelphia, pp. 166\u2013175. ACM, New York (2001)"},{"key":"11_CR37","first-page":"187","volume-title":"Process Coordination and Ubiquitous Computing, ch. 12","author":"A. Omicini","year":"2002","unstructured":"Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, ch. 12, pp. 187\u2013200. CRC Press, Boca Raton (2002)"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-61770-1_38","volume-title":"Computer Security - ESORICS 96","author":"S. Schneider","year":"1996","unstructured":"Schneider, S., Sidiropoulos, A.: CSP and anonymity. In: Bertino, E., Kurth, H., Martella, G., Montolivo, E. (eds.) ESORICS 1996. LNCS, vol.\u00a01146, pp. 198\u2013218. Springer, Heidelberg (1996)"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-36467-6_4","volume-title":"Privacy Enhancing Technologies","author":"A. Serjantov","year":"2003","unstructured":"Serjantov, A., Danezis, G.: Towards an information theoretic metric for anonymity. In: Dingledine, R., Syverson, P.F. (eds.) PET 2002. LNCS, vol.\u00a02482, pp. 41\u201353. Springer, Heidelberg (2003)"},{"key":"11_CR40","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/JCS-2004-123-403","volume":"12","author":"V. Shmatikov","year":"2004","unstructured":"Shmatikov, V.: Probabilistic analysis of an anonymity system. Journal of Computer Security\u00a012, 355\u2013377 (2004)","journal-title":"Journal of Computer Security"},{"key":"11_CR41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-2005-13107","volume":"13","author":"V. Shmatikov","year":"2005","unstructured":"Shmatikov, V., Talcott, C.L.: Reputation-based trust management. Journal of Computer Security\u00a013, 167\u2013190 (2005)","journal-title":"Journal of Computer Security"},{"key":"11_CR42","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","volume":"9","author":"D.X. Song","year":"2001","unstructured":"Song, D.X., Berezin, S., Perrig, A.: Athena: A novel approach to efficient automatic security protocol analysis. Journal of Computer Security\u00a09, 47\u201374 (2001)","journal-title":"Journal of Computer Security"},{"key":"11_CR43","unstructured":"Stam, A.W.: Interaction Protocols in Paradigm. PhD thesis, LIACS, Leiden University (Forthcoming) (2009)"},{"key":"11_CR44","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0167-6423(02)00090-4","volume":"46","author":"J. Vitek","year":"2003","unstructured":"Vitek, J., Bryce, C., Oriol, M.: Coordinating processes with secure spaces. Science of Computer Programming\u00a046, 163\u2013193 (2003)","journal-title":"Science of Computer Programming"},{"key":"11_CR45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JCS-2008-16101","volume":"16","author":"N. Zhang","year":"2008","unstructured":"Zhang, N., Ryan, M., Guelev, D.P.: Synthesising verified access control systems through model checking. Journal of Computer Security\u00a016, 1\u201361 (2008)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10248-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T09:00:44Z","timestamp":1685178044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10248-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102479","9783642102486"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10248-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}