{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T09:34:48Z","timestamp":1789983288464,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205838","type":"print"},{"value":"9783540400424","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40042-4_7","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:35:00Z","timestamp":1283560500000},"page":"203-228","source":"Crossref","is-referenced-by-count":3,"title":["A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","first-page":"121","volume":"4","author":"A. Aldini","year":"2003","unstructured":"Aldini, A., Amoroso, A., Roccetti, M.: A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks. Int. Journal of Pure and Applied Mathematics\u00a04(2), 121\u2013142 (2003)","journal-title":"Int. Journal of Pure and Applied Mathematics"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/379525.379526","volume":"11","author":"A. Aldini","year":"2001","unstructured":"Aldini, A., Bernardo, M., Gorrieri, R., Roccetti, M.: Comparing the QoS of Internet Audio Mechanisms via Formal Methods. ACM Transactions on Modelling and Computer Simulation\u00a011(1), 1\u201342 (2001)","journal-title":"ACM Transactions on Modelling and Computer Simulation"},{"key":"7_CR3","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. Journal of Computer Security (to appear)"},{"key":"7_CR4","unstructured":"Aldini, A., Gorrieri, R., Roccetti, M.: An Adaptive Mechanism for Realtime Secure Speech Transmission over the Internet. In: Schulzrinne, H. (ed.) 2nd IP-Telephony Workshop (IP-Tel 2001), pp. 64\u201372 (2001)"},{"key":"7_CR5","unstructured":"Aldini, A., Gorrieri, R., Roccetti, M.: On Securing Real Time Speech Transmission over the Internet: An Experimental Study. EURASIP Journal on Applied Signal Processing, Special Issue on Digital Audio for Multimedia Communications, Hindawi Publishing Corporation (to appear)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Computer Aided Verification","author":"C. Baier","year":"1997","unstructured":"Baier, C., Hermanns, H.: Weak Bisimulation for Fully Probabilistic Processes. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 119\u2013130. Springer, Heidelberg (1997)"},{"key":"7_CR7","unstructured":"Bernardo, M.: Theory and Application of Extended Markovian Process Algebra. Ph.D. Thesis, University of Bologna, Italy (1999), ftp:\/\/ftp.cs.unibo.it\/pub\/techreports\/"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/978-0-387-35394-4_28","volume-title":"Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE-PSTV 1998)","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Cleaveland, W.R., Sims, S.T., Stewart, W.J.: TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In: Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE-PSTV 1998), pp. 457\u2013467. Kluwer, Dordrecht (1998)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/inco.1998.2706","volume":"144","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. Information and Computation\u00a0144, 83\u2013154 (1998)","journal-title":"Information and Computation"},{"key":"7_CR10","volume-title":"Standard Probability & Statistics Tables & Formulae","author":"W.H. Beyer","year":"1990","unstructured":"Beyer, W.H.: Standard Probability & Statistics Tables & Formulae. CRC Press, Boca Raton (1990)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44706-7_1","volume-title":"Fast Software Encryption","author":"A. Biryukov","year":"2001","unstructured":"Biryukov, A., Shamir, A., Wagner, D.: Real Time Cryptanalysis of A5\/1 on a PC. In: Schneier, B. (ed.) FSE 2000. LNCS, vol.\u00a01978, p. 1. Springer, Heidelberg (2001)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. Ph.D. Thesis, University of Bologna, Italy (2002), ftp:\/\/ftp.cs.unibo.it\/pub\/techreports\/","DOI":"10.1007\/3-540-45605-8_14"},{"issue":"1","key":"7_CR13","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(1), 355\u2013406 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR14","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(1), 5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45022-X_31","volume-title":"Automata, Languages and Programming","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Non Interference for the Analysis of Cryptographic Protocols. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 354\u2013372. Springer, Heidelberg (2000)"},{"key":"7_CR16","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":"7_CR17","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":"7_CR18","doi-asserted-by":"crossref","first-page":"255","DOI":"10.3233\/JCS-1992-13-405","volume":"1","author":"J.W. Gray III.","year":"1992","unstructured":"Gray III., J.W.: Toward a Mathematical Foundation for Information Flow Security. Journal of Computer Security\u00a01, 255\u2013294 (1992)","journal-title":"Journal of Computer Security"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/274946.274959","volume":"41","author":"V. Hardman","year":"1998","unstructured":"Hardman, V., Sasse, M.A., Kouvelas, I.: Successful Multi-Party Audio Communication over the Internet. Communications of the ACM\u00a041, 74\u201380 (1998), http:\/\/www-mice.cs.ucl.ac.uk\/multimedia\/software\/rat\/","journal-title":"Communications of the ACM"},{"key":"7_CR20","series-title":"ESPRIT Basic Research Series","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-79917-4_2","volume-title":"Quantitative Methods in Parallel Systems","author":"P. Harrison","year":"1995","unstructured":"Harrison, P., Strulo, B.: Stochastic Process Algebra for Discrete Event Simulation. In: Quantitative Methods in Parallel Systems. ESPRIT Basic Research Series, pp. 18\u201337. Springer, Heidelberg (1995)"},{"key":"7_CR21","first-page":"449","volume-title":"7th Conf. on Formal Description Techniques (FORTE 1994)","author":"H. Hermanns","year":"1994","unstructured":"Hermanns, H., Herzog, U., Hillston, J., Mertsiotakis, V., Rettelbach, M.: Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling. In: 7th Conf. on Formal Description Techniques (FORTE 1994), pp. 449\u2013451. Chapman & Hall, Boca Raton (1994)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security Models and Information Flow. In: IEEE Symposium on Research in Security and Privacy, pp. 180-189 (1990)","DOI":"10.21236\/ADA462529"},{"key":"7_CR23","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1011303506685","volume":"14","author":"M. Roccetti","year":"2001","unstructured":"Roccetti, M., Ghini, V., Pau, G., Salomoni, P., Bonfigli, M.E.: Design and Experimental Evaluation of an Adaptive Playout Delay Control Mechanism for Packetized Audio for Use over the Internet. Multimedia Tools and Appl., an Int. Journal\u00a014(1), 23\u201353 (2001)","journal-title":"Multimedia Tools and Appl., an Int. Journal"},{"key":"7_CR25","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":"7_CR26","volume-title":"Applied Cryptography","author":"B. Schneier","year":"1996","unstructured":"Schneier, B.: Applied Cryptography, 2nd edn. John Wiley & Sons, Chichester (1996)","edition":"2"},{"key":"7_CR27","unstructured":"Schulzrinne, H.: Voice Communication across the Internet: a Network Voice Terminal. Tech. Rep., University of Massachusetts, Amherst (MA) (1992), http:\/\/www.cs.columbia.edu\/~hgs\/rtp\/nevot.html"},{"key":"7_CR28","volume-title":"Communications and Multimedia Security Issues of the New Century","year":"2001","unstructured":"Steinmetz, R., Dittman, J., Steinebach, M. (eds.): Communications and Multimedia Security Issues of the New Century. Kluwer Academic Publishers, Dordrecht (2001)"}],"container-title":["Lecture Notes in Computer Science","Global Computing. Programming Environments, Languages, Security, and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40042-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T06:54:11Z","timestamp":1591858451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40042-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205838","9783540400424"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40042-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}