{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:26:35Z","timestamp":1739424395199,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642102479"},{"type":"electronic","value":"9783642102486"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10248-6_8","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:18:40Z","timestamp":1256635120000},"page":"172-201","source":"Crossref","is-referenced-by-count":2,"title":["A Uniform Approach to Security and Fault-Tolerance Specification and Analysis"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Lenzini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H.R.: Verification of Temporal Properties of Concurrent Systems. PhD thesis, Department of Computer Science, Aarhus University, Denmark (1993)","DOI":"10.7146\/dpb.v22i445.6762"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/LICS.1995.523274","volume-title":"Proc. of 10th Annual IEEE Symposium on Logic in Computer Science","author":"H.R. Andersen","year":"1995","unstructured":"Andersen, H.R.: Partial model checking (extended abstract). In: Proc. of 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995, pp. 398\u2013407. IEEE Computer Society Press, Los Alamitos (1995)"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/s100090050032","volume":"2","author":"H.R. Andersen","year":"1999","unstructured":"Andersen, H.R., Lind-Nielsen, J.: Partial model checking of modal equations: A survey. Software Tools for Technology Transfer\u00a02(3), 242\u2013259 (1999)","journal-title":"Software Tools for Technology Transfer"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/stvr.258","volume":"12","author":"C. Bernardeschi","year":"2002","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Software Testing, Verification and Reliability\u00a012, 1\u201325 (2002)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"43","key":"8_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1093\/comjnl\/43.3.191","volume":"3","author":"C. Bernardeschi","year":"2000","unstructured":"Bernardeschi, C., Fantechi, A., Simoncini, L.: Formally verifying fault tolerant system designs. The Computer Journal\u00a03(43), 191\u2013205 (2000)","journal-title":"The Computer Journal"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/LICS.1996.561358","volume-title":"Proc., 11th Annual IEEE Symposium on Logic in Computer Science","author":"G. Bhat","year":"1996","unstructured":"Bhat, G., Cleaveland, R.: Efficient model checking via the equational \u03bc-calculus. In: Proc., 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, July 27-30, pp. 304\u2013312. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Bondarev, E.R.V., Chaudron, M.R.V., de With, P.H.N.: Carat: a toolkit for design and performance analysis of component-based embedded systems. In: Proc. of Design, Automation, and Test in Europe (DATE), Nice, France, April 21, pp. 1024\u20131029 (2007)","DOI":"10.1109\/DATE.2007.364428"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-044482830-9\/50022-9","volume-title":"Handbook of Process Algebra, chapter Modal Logics and \u03bc-calculi: an introduction","author":"J. Bradfield","year":"2001","unstructured":"Bradfield, J., Stirling, C.: Handbook of Process Algebra, chapter Modal Logics and \u03bc-calculi: an introduction, pp. 293\u2013332. Elsevier, North-Holland (2001)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/DSN.2002.1028897","volume-title":"Proc. of the Int. Conf. on Dependable Systems and Networks (DSN 2002)","author":"C. Cachin","year":"2002","unstructured":"Cachin, C., Poritz, J.A.: Secure intrusion-tolerant replication on the internet. In: Proc. of the Int. Conf. on Dependable Systems and Networks (DSN 2002), Bethesda, MD, USA, June 23-26, pp. 167\u2013176. IEEE Computer Society, Los Alamitos (2002)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/DSN.2001.941415","volume-title":"Proc. of the Int. Conference on Dependable Systems and Networks (DSN 2001)","author":"P. Chevochot","year":"2001","unstructured":"Chevochot, P., Puaut, I.: Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components. In: Proc. of the Int. Conference on Dependable Systems and Networks (DSN 2001), G\u00f6teborg, Sweden, July 1-4, pp. 304\u2013313. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/2.386985","volume":"28","author":"J.A. Clark","year":"1995","unstructured":"Clark, J.A., Pradhan, D.K.: Fault injection: a method for validating computer-systemdependability. Computer\u00a028(6), 47\u201356 (1995)","journal-title":"Computer"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification. ACM Transaction on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Daidone, A., Chiaradonna, S., Bondavalli, A.P., Ver\u00edssimo: Analysis of a redundant architecture for critical infrastructure protection. In: Architecting Dependable Systems V, pp. 78\u2013100 (2008)","DOI":"10.1007\/978-3-540-85571-2_4"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(94)90269-0","volume":"126","author":"M. Dam","year":"1994","unstructured":"Dam, M.: CTL* and ECTL* as fragments of modal \u03bc-calculus. Theoretical Computer Science\u00a0126(1), 77\u201396 (1994)","journal-title":"Theoretical Computer Science"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1109\/CSFW.1999.779774","volume-title":"Proc. of the 12th IEEE Computer Security Foundations Workshop (CSFW 1999)","author":"A. Durante","year":"1999","unstructured":"Durante, A., Focardi, R., Gorrieri, R.: CVS: A compiler for the analysis of cryptographic protocols. In: Proc. of the 12th IEEE Computer Security Foundations Workshop (CSFW 1999), Mordano, Italy, June 28-30, pp. 203\u2013212. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1145\/363516.363532","volume":"9","author":"A. Durante","year":"2000","unstructured":"Durante, A., Focardi, R., Gorrieri, R.: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol.\u00a09(4), 488\u2013528 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","first-page":"191","volume-title":"Formal Aspects of Security","author":"A. Durante","year":"2002","unstructured":"Durante, A., Di Pietro, R., Mancini, L.V.: Formal specification for fast automatic IDS training. In: Abdallah, A.E., Ryan, P.Y.A., Schneider, S. (eds.) FASec 2002. LNCS, vol.\u00a02629, pp. 191\u2013204. Springer, Heidelberg (2002)"},{"key":"8_CR19","first-page":"267","volume-title":"Proc. of the 1st IEEE Symposium on Logic in Computer Science","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Lei, C.L.: Efficient model checking in fragments of the propositional mu-calculus (extended abstract). In: Proc. of the 1st IEEE Symposium on Logic in Computer Science, Cambridge, MA, USA, June 16-18, pp. 267\u2013278. IEEE Computer Society Press, Los Alamitos (1986)"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/CSFW.1994.315941","volume-title":"Proc. 7th IEEE Computer Security Foundations Workshop (CSFW)","author":"R. Focardi","year":"1994","unstructured":"Focardi, R., Gorrieri, R.: A taxonomy of security properties for ccs. In: Proc. 7th IEEE Computer Security Foundations Workshop (CSFW), Franconia, NH, USA, June 14-16, 1994, pp. 126\u2013136. IEEE Computer Society, Los Alamitos (1994)"},{"issue":"9","key":"8_CR21","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1109\/32.629493","volume":"23","author":"R. Focardi","year":"1997","unstructured":"Focardi, R., Gorrieri, R.: The compositional security checker: A tool for the verification of information flow security properties. IEEE Trans. Software Eng.\u00a023(9), 550\u2013571 (1997)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design","author":"R. Focardi","year":"2001","unstructured":"Focardi, R., Gorrieri, R.: Classification of Security Properties - Part\u00a0I: Information Flow. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 331\u2013396. Springer, Heidelberg (2001)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-540-24631-2_4","volume-title":"Foundations of Security Analysis and Design II","author":"R. Focardi","year":"2004","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Classification of Security Properties - Part\u00a0II: Network Security. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol.\u00a02946, pp. 139\u2013185. Springer, Heidelberg (2004)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"Proc.\u00a0of Congress on Formal Methods (FM 1999)","author":"R. Focardi","year":"1999","unstructured":"Focardi, R., Martinelli, F.: A Uniform Approch for the Definition of Security Properties. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 794\u2013813. Springer, Heidelberg (1999)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-49135-X_4","volume-title":"Security Protocols","author":"S.N. Foley","year":"1998","unstructured":"Foley, S.N.: External consistency and the verification of security protocols. In: Christianson, B., Crispo, B., Harbison, W.S., Roe, M. (eds.) Security Protocols 1998. LNCS, vol.\u00a01550, pp. 28\u201333. Springer, Heidelberg (1998)"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/JSAC.2002.806124","volume":"21","author":"S.N. Foley","year":"2003","unstructured":"Foley, S.N.: A non-functional approach to systems integrity. IEEE Journal on Selected Areas in Communications\u00a021(1), 36\u201343 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/RELDI.2000.885397","volume-title":"Proc. of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000)","author":"F.C. G\u00e4rtner","year":"2000","unstructured":"G\u00e4rtner, F.C., Kloppenburg, S.: Consistent detection of global predicates under a weak fault assumption. In: Proc. of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), Osaka, Japan, 13-16 October 2002, pp. 94\u2013103. IEEE Computer Society, Los Alamitos (2000)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ASE.2002.1114984","volume-title":"Proc. of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002)","author":"D. Giannakopoulou","year":"2002","unstructured":"Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: Proc. of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, Scotland, UK, September 23-27, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2002)"},{"key":"8_CR29","first-page":"111","volume":"99","author":"S. Gnesi","year":"2004","unstructured":"Gnesi, S., Lenzini, G., Martinelli, F.: Applying generalized non deducibility on compositions (gndc) approach in dependability. ENTCS\u00a099, 111\u2013126 (2004)","journal-title":"ENTCS"},{"key":"8_CR30","first-page":"57","volume":"118","author":"S. Gnesi","year":"2005","unstructured":"Gnesi, S., Lenzini, G., Martinelli, F.: Logical specification and analysis of fault tolerant systems through partial model checking. ENTCS\u00a0118, 57\u201370 (2005)","journal-title":"ENTCS"},{"key":"8_CR31","first-page":"11","volume-title":"Proceedings of the IEEE Symposium on Research in Security and Privacy","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 11\u201320. IEEE Computer Society Press, Los Alamitos (1982)"},{"key":"8_CR32","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D. Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the modal \u03bc-calculus and related results. In: Wiedermann, J., H\u00e1jek, P. (eds.) MFCS 1995. LNCS, vol.\u00a0969. Springer, Heidelberg (1995)"},{"key":"8_CR35","unstructured":"Jonsson, E.: An integrated framework for security and dependability. In: Proc. of the New Security Paradigms Workshop, Charlotteville, VA, USA (September 1995)"},{"key":"8_CR36","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1109\/ARES.2006.138","volume-title":"Proc. of the 1st Int. Conference on Availability, Reliability and Security","author":"E. Jonsson","year":"2006","unstructured":"Jonsson, E.: Towards an integrated conceptual model of security and dependability. In: Proc. of the 1st Int. Conference on Availability, Reliability and Security, Vienna, Austria, April 20-22, pp. 646\u2013653. IEEE Computer Society, Los Alamitos (2006)"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Jonsson, E., Stromberg, L., Lindskog, S.: On the functional relation between security and dependability impairments. In: Proc. of the New Security Paradigms Workshop, Ontario, Canada (1999)","DOI":"10.1145\/335169.335204"},{"issue":"3","key":"8_CR38","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc\u2212calculus. Theoretical Computer Science\u00a027(3), 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61474-5_59","volume-title":"Computer Aided Verification","author":"O. Kupferman","year":"1996","unstructured":"Kupferman, O., Vardi, M.Y.: Module checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 75\u201386. Springer, Heidelberg (1996)"},{"issue":"21","key":"8_CR40","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"7","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Transactions of Software Engineering\u00a07(21), 125\u2013143 (1977)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"8_CR41","unstructured":"Lenzini, G.: Integration Techniques in Security and Fault Tolerance. PhD thesis, Univ. Twente (2005)"},{"key":"8_CR42","first-page":"143","volume":"179","author":"G. Lenzini","year":"2007","unstructured":"Lenzini, G., Tokmakoff, A., Muskens, J.: Managing trustworthiness in component-based embedded systems. ENTCS\u00a0179, 143\u2013155 (2007)","journal-title":"ENTCS"},{"key":"8_CR43","unstructured":"Lind-Nielsen, J.: Mudiv: A program performing partial model checking. Master\u2019s thesis, Department of Information Technology, Technical University of Denmark (September 1996)"},{"key":"8_CR44","unstructured":"Martinelli, F.: Formal Methods for the Analysis of Open Systems with Applications to Security Properties. PhD thesis, Univ. of Siena (December 1998)"},{"key":"8_CR45","first-page":"44","volume-title":"Proc. of the 11th IEEE Computer Security Foundations Workshop (CSFW 1998)","author":"F. Martinelli","year":"1998","unstructured":"Martinelli, F.: Partial Model Checking and Theorem Proving for Ensuring Security Properties. In: Proc. of the 11th IEEE Computer Security Foundations Workshop (CSFW 1998), Rockport, MA, USA, June 9-11, 1998, pp. 44\u201352. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"1","key":"8_CR46","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1016\/S0304-3975(02)00596-0","volume":"290","author":"F. Martinelli","year":"2003","unstructured":"Martinelli, F.: Analysis of Security Protocols as Open Systems. Theoretical Computer Science\u00a0290(1), 1057\u20131106 (2003)","journal-title":"Theoretical Computer Science"},{"key":"8_CR47","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/CSDA.1998.798363","volume-title":"Proc. of Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solutions - Workshop on Computer Security, Dependability, and Assurance","author":"C. Meadows","year":"1999","unstructured":"Meadows, C., McLean, J.: Security and dependability: Then and now. In: Proc. of Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solutions - Workshop on Computer Security, Dependability, and Assurance, Williamsburg, VA, USA, November 1998, pp. 166\u2013170. IEEE Computer Society, Los Alamitos (1999)"},{"key":"8_CR48","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/NSPW.1995.492346","volume-title":"Proc.\u00a0of the 1995 workshop on New Security Paradigms","author":"C.A. Meadows","year":"1995","unstructured":"Meadows, C.A.: Applying the dependability paradigm to computer security. In: Proc.\u00a0of the 1995 workshop on New Security Paradigms, La Jolla, CA, USA, pp. 75\u201379. IEEE Computer Society, Los Alamitos (1995)"},{"issue":"4","key":"8_CR49","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"H. Mei-Chen","year":"1997","unstructured":"Mei-Chen, H., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer\u00a030(4), 75\u201382 (1997)","journal-title":"Computer"},{"key":"8_CR50","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1989)"},{"key":"8_CR51","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/EURMIC.2004.1333429","volume-title":"Proc. of the 30th EUROMICRO Conference","author":"J. Muskens","year":"2004","unstructured":"Muskens, J., Chaudron, M.: Integrity management in component based systems. In: Proc. of the 30th EUROMICRO Conference, Rennes, France, September 1-3, 2004, pp. 611\u2013619. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"7","key":"8_CR52","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R. Nicola De","year":"1993","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. Computer Networks and ISDN Systems\u00a025(7), 761\u2013778 (1993)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"2","key":"8_CR53","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"J. ACM"},{"issue":"38","key":"8_CR54","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1002\/spe.848","volume":"6","author":"H.V. Ramasamy","year":"2008","unstructured":"Ramasamy, H.V., Pandey, P., Cukier, M., Sanders, H.: Experiences with building an intrusion-tolerant group communication system. Softw. Pract. Exper.\u00a06(38), 639\u2013666 (2008)","journal-title":"Softw. Pract. Exper."},{"key":"8_CR55","volume-title":"Model-checking CSP","author":"A.W. Roscoe","year":"1994","unstructured":"Roscoe, A.W.: Model-checking CSP. Prentice Hall International (UK) Ltd., Englewood Cliffs (1994)"},{"key":"8_CR56","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/DEXA.2008.36","volume-title":"Proc. of the 2008 19th International Conference on Database and Expert Systems Application","author":"D. Serrano","year":"2008","unstructured":"Serrano, D., Ma\u00f1a, A., Sotirious, A.D.: Towards security patterns. In: Proc. of the 2008 19th International Conference on Database and Expert Systems Application, pp. 287\u2013291. IEEE Computer Society, Los Alamitos (2008)"},{"key":"8_CR57","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/IWSSD.1998.667915","volume-title":"Proc. of the 9th Int. Workshop on Software Specification and Design, Ise-Shima (Isobe)","author":"A. Simpson","year":"1998","unstructured":"Simpson, A., Woodcock, J., Davis, J.: Safety through security. In: Proc. of the 9th Int. Workshop on Software Specification and Design, Ise-Shima (Isobe), Japan, April 16-18, 1998, pp. 18\u201323. IEEE Computer Society, Los Alamitos (1998)"},{"key":"8_CR58","unstructured":"Stavridou, V., Dutertre, B.: From security to safety and back. In: Proc.\u00a0of Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solutions - Workshop II, Williamsburg, VA, November 11-13 (1998)"},{"key":"8_CR59","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/288408.288442","volume-title":"Proc. of the 3rd Int. Workshop on Software Architecture","author":"V. Stavridou","year":"1998","unstructured":"Stavridou, V., Riemenschneider, R.A.: Provably dependable software architectures. In: Proc. of the 3rd Int. Workshop on Software Architecture, Orlando, FL, USA, pp. 133\u2013136. ACM, New York (1998)"},{"key":"8_CR60","unstructured":"Su, R., Chaudron, M.R.V.: Self-adjusting component-based fault management. In: EUROMICRO Conference, pp. 118\u2013125 (2006)"},{"issue":"1","key":"8_CR61","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1049\/iet-sen:20060047","volume":"1","author":"R. Su","year":"2007","unstructured":"Su, R., Chaudron, M.R.V., Lukkien, J.J.: Adaptive runtime fault management for service instances in component-based software applications. IET Software\u00a01(1), 18\u201328 (2007)","journal-title":"IET Software"},{"key":"8_CR62","series-title":"Lecture Notes in Computer Science","first-page":"49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Majumdar","year":"2003","unstructured":"Majumdar, R., Henzinger, T.A., Kupferman, O.: On the universal and existential fragments of the \u03bc-calculus. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 49\u201364. Springer, Heidelberg (2003)"},{"key":"8_CR63","volume-title":"Fault Tolerance ch.7.","author":"A.S. Tanenbaum","year":"2002","unstructured":"Tanenbaum, A.S., van Steen, M.: Distributed Systems: Principles and Paradigms. In: Fault Tolerance ch.7. Prentice Hall, Englewood Cliffs (2002)"},{"key":"8_CR64","doi-asserted-by":"crossref","unstructured":"Ver\u00edssimo, P., Neves, N.F., Correia, M., Deswarte, Y., Bondavalli, A., Kalam, A.A., Daidone, A.: The CRUTIAL architecture for critical information infrastructures. In: Architecting Dependable Systems V, pp. 1\u201327 (2008)","DOI":"10.1007\/978-3-540-85571-2_1"},{"issue":"1:2","key":"8_CR65","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJSSE.2008.018132","volume":"1","author":"P. Ver\u00edssimo","year":"2008","unstructured":"Ver\u00edssimo, P., Neves, N.F., Correira, M.: The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. System of Systems Engineering\u00a01(1:2), 78\u201395 (2008)","journal-title":"Int. J. System of Systems Engineering"},{"key":"8_CR66","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/75199.75240","volume-title":"Proc.\u00a0of the 5th Int. Workshop on Software Specification and Design","author":"D.G. Weber","year":"1989","unstructured":"Weber, D.G.: Formal specification of fault tolerance and its relation to computer security. In: Proc.\u00a0of the 5th Int. Workshop on Software Specification and Design, pp. 273\u2013277. ACM, New York (1989)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems VI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10248-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T22:54:29Z","timestamp":1739400869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10248-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102479","9783642102486"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10248-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}