{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:34:11Z","timestamp":1725539651627},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_10","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:18:40Z","timestamp":1256635120000},"page":"228-254","source":"Crossref","is-referenced-by-count":0,"title":["Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bernardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/11419822_5","volume-title":"Formal Methods for Mobile Computing","author":"A. Acquaviva","year":"2005","unstructured":"Acquaviva, A., Aldini, A., Bernardo, M., Bogliolo, A., Bont\u00e0, E., Lattanzi, E.: A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 155\u2013189. Springer, Heidelberg (2005)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.scico.2005.07.010","volume":"63","author":"A. Aldini","year":"2006","unstructured":"Aldini, A.: Classification of security properties in a Linda-like process algebra. Journal of Science of Computer Programming\u00a063, 16\u201338 (2006)","journal-title":"Journal of Science of Computer Programming"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-03459-6_2","volume-title":"Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA WITS 2009)","author":"A. Aldini","year":"2009","unstructured":"Aldini, A., Bernardo, M.: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. In: Degano, P. (ed.) ARSPA-WITS 2009. LNCS, vol.\u00a05511, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1016\/j.ress.2006.10.003","volume":"92","author":"A. Aldini","year":"2007","unstructured":"Aldini, A., Bernardo, M.: A Formal Approach to the Integrated Analysis of Security and QoS. Journal of Reliability Engineering & System Safety\u00a092, 1503\u20131520 (2007)","journal-title":"Journal of Reliability Engineering & System Safety"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.05.006","volume":"382","author":"A. Aldini","year":"2007","unstructured":"Aldini, A., Bernardo, M.: Mixing Logics and Rewards for the Component oriented Specification of Performance Measures. Journal of Theoretical Computer Science\u00a0382, 3\u201323 (2007)","journal-title":"Journal of Theoretical Computer Science"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-2004-12202","volume":"12","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-Algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security\u00a012, 191\u2013245 (2004)","journal-title":"Journal of Computer Security"},{"key":"10_CR7","first-page":"39","volume-title":"10th Italian Conference on Theoretical Computer Science (ICTCS 2007)","author":"M. Bernardo","year":"2007","unstructured":"Bernardo, M., Aldini, A.: Weak Markovian Bisimilarity: Abstracting from Prioritized\/Weighted Internal Immediate Actions. In: 10th Italian Conference on Theoretical Computer Science (ICTCS 2007), pp. 39\u201356. World Scientific, Singapore (2007)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-39800-4_10","volume-title":"Formal Methods for Software Architectures","author":"S. Balsamo","year":"2003","unstructured":"Balsamo, S., Bernardo, M., Simeoni, M.: Performance Evaluation at the Software Architecture Level. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 207\u2013258. Springer, Heidelberg (2003)"},{"key":"10_CR9","unstructured":"Bernardo, M.: TwoTowers\u00a05.1 User Manual (2006), http:\/\/www.sti.uniurb.it\/bernardo\/twotowers\/"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","first-page":"219","volume-title":"Architecting Dependable Systems","author":"A. Bondavalli","year":"2003","unstructured":"Bondavalli, A., Majzik, I., Pataricza, A.: Stochastic Dependability Analysis of System Architecture based on UML Designs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","volume":"290","author":"M. Bravetti","year":"2003","unstructured":"Bravetti, M., Aldini, A.: Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds. Theoretical Computer Science\u00a0290, 355\u2013406 (2003)","journal-title":"Theoretical Computer Science"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A Classification of Security Properties. Journal of Computer Security\u00a03, 5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, Generative and Stratified Models of Probabilistic Processes. Information and Computation\u00a0121, 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Symp. on Research in Security and Privacy (SSP 1982)","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policy and Security Models. In: Symp. on Research in Security and Privacy (SSP 1982), pp. 11\u201320. IEEE CS Press, Los Alamitos (1982)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-540-45214-0_9","volume-title":"Dependable Computing","author":"V. Gupta","year":"2003","unstructured":"Gupta, V., Lam, V., Ramasamy, H.V., Sanders, W.H., Singh, S.: Dependability and performance evaluation of intrusion-tolerant server architectures. In: de Lemos, R., Weber, T.S., Camargo Jr, J.B. (eds.) LADC 2003. LNCS, vol.\u00a02847, pp. 81\u2013101. Springer, Heidelberg (2003)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/295251.295254","volume":"8","author":"A. Hein","year":"1998","unstructured":"Hein, A., Dal Cin, M.: Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation. ACM Transactions on Modeling and Computer Simulation\u00a08, 333\u2013373 (1998)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"10_CR17","volume-title":"Dynamic Probabilistic Systems","author":"R.A. Howard","year":"1971","unstructured":"Howard, R.A.: Dynamic Probabilistic Systems. John Wiley & Sons, Chichester (1971)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1109\/RISP.1990.63849","volume-title":"Symp. on Research in Security and Privacy (SSP 1990)","author":"J. McLean","year":"1990","unstructured":"McLean, J.: Security Models and Information Flow. In: Symp. on Research in Security and Privacy (SSP 1990), pp. 180\u2013187. IEEE CS Press, Los Alamitos (1990)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-36575-3_2","volume-title":"Programming Languages and Systems","author":"C. Meadows","year":"2003","unstructured":"Meadows, C.: What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 10\u201321. Springer, Heidelberg (2003)"},{"key":"10_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"10_CR21","unstructured":"Roscoe, A.W., Reed, G.M., Forster, R.: The Successes and Failures of Behavioural Models. In: Millenial Perspectives in Computer Science (2000)"},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process Algebra and Non-interference. Journal of Computer Security\u00a09, 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"key":"10_CR23","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"10_CR24","first-page":"182","volume-title":"Workshop on Computer Security, Dependability, and Assurance: From Needs to Solutions (CSDA 1998)","author":"V. Stravridou","year":"1998","unstructured":"Stravridou, V., Dutertre, B.: From Security to Safety and Back. In: Workshop on Computer Security, Dependability, and Assurance: From Needs to Solutions (CSDA 1998), pp. 182\u2013195. IEEE CS Press, Los Alamitos (1998)"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/RISP.1990.63846","volume-title":"Symp. on Research in Security and Privacy (SSP 1990)","author":"J.T. Wittbold","year":"1990","unstructured":"Wittbold, J.T., Johnson, D.M.: Information Flow in Nondeterministic Systems. In: Symp. on Research in Security and Privacy (SSP 1990), pp. 144\u2013161. IEEE CS Press, Los Alamitos (1990)"},{"key":"10_CR26","first-page":"10","volume-title":"IT Professional","author":"F. Wu","year":"2004","unstructured":"Wu, F., Johnson, H., Nilsson, A.: SOLA: Lightweight Security for Access Control in IEEE 802.11. In: IT Professional, vol.\u00a06, pp. 10\u201316. IEEE CS Press, Los Alamitos (2004)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T07:56:41Z","timestamp":1590220601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10248-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102479","9783642102486"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10248-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}