{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:27:32Z","timestamp":1759638452753},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231769"},{"type":"electronic","value":"9783540301387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_24","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"283-296","source":"Crossref","is-referenced-by-count":7,"title":["An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth"],"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":"24_CR1","volume-title":"1st Int. Conf. on Quantitative Evaluation of Systems (QEST 2004)","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bernardo, M.: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. In: 1st Int. Conf. on Quantitative Evaluation of Systems (QEST 2004). IEEE CS Press, Los Alamitos (2004) (to appear)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security\u00a012(2) (2004)","DOI":"10.3233\/JCS-2004-12202"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45605-8_3","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"A. Aldini","year":"2002","unstructured":"Aldini, A., Gorrieri, R.: Security Analysis of a Probabilistic Non-repudiation Protocol. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 17\u201336. Springer, Heidelberg (2002)"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(01)00090-1","volume":"290","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Bravetti, M.: Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science\u00a0290, 117\u2013160 (2003)","journal-title":"Theoretical Computer Science"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. on Software Engineering and Methodology\u00a011, 386\u2013426 (2002)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-45798-4_11","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Donatiello, L., Ciancarini, P.: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 236\u2013260. Springer, Heidelberg (2002)"},{"key":"24_CR7","unstructured":"Cleaveland, W.R., Li, T., Sims, S.: The Concurrency Workbench of the New Century - Version 1.2 - User\u2019s Manual (2000), www.cs.sunysb.edu\/~cwb\/"},{"key":"24_CR8","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":"24_CR9","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Symposium on Security and Privacy (SSP 1982)","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policy and Security Models. In: Symposium on Security and Privacy (SSP 1982), pp. 11\u201320. IEEE CS Press, Los Alamitos (1982)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Kang, M.H., Moore, A.P., Moskowitz, I.S.: Design and Assurance Strategy for the NRL Pump., NRL Memo 5540-97-7991, Naval Research Laboratory, Washington, DC (1997); appeared in IEEE Computer Magazine 31, 56\u201364 (1998)","DOI":"10.21236\/ADA333464"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Tini, S., Troina, A., Tronci, E.: Automatic Analysis of the NRL Pump. To appear in ENTCS. Selected Papers from MEFISTO project Formal Methods for Security (2004)","DOI":"10.1016\/j.entcs.2004.02.011"},{"volume-title":"Computer Performance Modeling Handbook","year":"1983","key":"24_CR12","unstructured":"Lavenberg, S.S. (ed.): Computer Performance Modeling Handbook. Academic Press, London (1983)"},{"key":"24_CR13","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":"24_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Moskowitz, I.S., Kang, M.H.: Covert Channels \u2013 Here to Stay? In: 9th Conf. on Computer Assurance (Compass 1994), National Institute of Standards and Technology, pp. 235\u2013244 (1994)","DOI":"10.1109\/CMPASS.1994.318449"},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/CSFW.2001.930149","volume-title":"14th Computer Security Foundations Workshop (CSFW 2001)","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A., McLean, J., Millen, J., Gligor, V.: Non-interference: Who Needs It? In: 14th Computer Security Foundations Workshop (CSFW 2001), pp. 237\u2013238. IEEE CS Press, Los Alamitos (2001)"},{"key":"24_CR17","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)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:51:25Z","timestamp":1620013885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}