A study about trade-off between performance and security in an internet audio mechanism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2874, Issue , 2003, Pages 203-228

  Aldini, Alessandro ^a   Gorrieri, Roberto ^b  

^a UNIVERSITY OF URBINO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MARKOV PROCESSES;

ALGEBRAIC DESCRIPTION; ANALYSIS TECHNIQUES; INFORMATION FLOWS; PERFORMANCE PROPERTIES; REAL-TIME AUDIO; SECURE TRANSMISSION; SECURITY ANALYSIS; SECURITY REQUIREMENTS;

ECONOMIC AND SOCIAL EFFECTS;

EID: 0346326006     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40042-4_7     Document Type: Article

References (28)

1. A. Aldini, A. Amoroso, M. Roccetti. A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks. Int. Journal of Pure and Applied Mathematics 4(2):121-142, Academic Publications, 2003.
2. A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti. Comparing the QoS of Internet Audio Mechanisms via Formal Methods. ACM Transactions on Modelling and Computer Simulation 11(1):1-42, ACM Press, 2001.
3. A. Aldini, M. Bravetti, R. Gorrieri. A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. Journal of Computer Security, to appear.
4. A. Aldini, R. Gorrieri, M. Roccetti. An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet. In 2nd IP-Telephony Workshop (IP-Tel'01), H. Schulzrinne ed., pp. 64-72, 2001.
5. A. Aldini, R. Gorrieri, M. Roccetti. 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.
6. C. Baier, H. Hermanns. Weak Bisimulation for Fully Probabilistic Processes. In 9th Int. Conf. on Computer Aided Verification (CAV'97), LNCS 1254:119-130, Springer, 1997.
7. M. Bernardo. Theory and Application of Extended Markovian Process Algebra. Ph.D. Thesis, University of Bologna, Italy, 1999. ftp://ftp.cs.unibo.it/pub/techreports/
8. M. Bernardo, W.R. Cleaveland, S.T. Sims, W.J. Stewart. 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'98), pp. 457-467, Kluwer, 1998.
9. M. Bernardo, L. Donatiello, R. Gorrieri. A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. Information and Computation 144:83-154, 1998.
10. W.H. Beyer. Standard Probability & Statistics Tables & Formulae. Boca Raton, FL: CRC Press, 1990.
11. A. Biryukov, A. Shamir, D. Wagner. Real Time Cryptanalysis of A5/1 on a PC. In Fast Software Encryption Workshop, LNCS 1978, Springer, 2000.
12. M. Bravetti. Specification and Analysis of Stochastic Real-Time Systems. Ph.D. Thesis, University of Bologna (Italy), 2002. ftp://ftp.cs.unibo.it/pub/techreports/
13. M. Bravetti, A. Aldini. Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds. Theoretical Computer Science 290(1):355-406, 2003.
14. R. Focardi, R. Gorrieri. A Classification of Security Properties. Journal of Computer Security 3(1):5-33, 1995.
15. R. Focardi, R. Gorrieri, F. Martinelli. Non Interference for the Analysis of Cryptographic Protocols. In 27th Int. Colloquium on Automata, Languages and Programming (ICALP'00), LNCS 1853:354-372, Springer, 2000.
16. R.J. van Glabbeek, S.A. Smolka, B. Steffen. Reactive, Generative and Stratified Models of Probabilistic Processes. In Information and Computation 121:59-80, 1995.
17. J.A. Goguen, J. Meseguer. Security Policy and Security Models. In Symposium on Security and Privacy (SSP'82), pp. 11-20, IEEE CS Press, 1982.
18. J. W. Gray III. Toward a Mathematical Foundation for Information Flow Security. In Journal of Computer Security 1:255-294, 1992.
19. V. Hardman, M.A. Sasse, I. Kouvelas. Successful Multi-Party Audio Communication over the Internet. Communications of the ACM 41:74-80, 1998. http://www-mice.cs.ucl.ac.uk/multimedia/software/rat/
20. P. Harrison, B. Strulo. Stochastic Process Algebra for Discrete Event Simulation. In Quantitative Methods in Parallel Systems, ESPRIT Basic Research Series, pp. 18-37, Springer, 1995.
21. H. Hermanns, U. Herzog, J. Hillston, V. Mertsiotakis, M. Rettelbach. Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling. In 7th Conf. on Formal Description Techniques (FORTE'94), pp. 449-451, Chapman & Hall, 1994.
22. J. McLean. Security Models and Information Flow. In IEEE Symposium on Research in Security and Privacy, pp. 180-189, 1990.
23. R. Milner. Communication and Concurrency, Prentice Hall, 1989.
24. M. Roccetti, V. Ghini, G. Pau, P. Salomoni, M. E. Bonfigli, 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 14(1):23-53, Kluwer Academic Publ., 2001.
25. P.Y.A. Ryan, J. McLean, J. Millen, V. Gligor. Non-interference: who needs it? In 14th Computer Security Foundations Workshop (CSFW'01), pp. 237-238, IEEE CS Press, 2001.
26. B. Schneier. Applied Cryptography, 2nd Edition, John Wiley & Sons, 1996.
27. H. Schulzrinne. Voice Communication across the Internet: a Network Voice Terminal. Tech. Rep., University of Massachusetts, Amherst (MA), 1992. http://www.es.columbia.edu/∼hgs/rtp/nevot.html
28. R. Steinmetz, J. Dittman, M. Steinebach (Eds.). Communications and Multimedia Security Issues of the New Century, Kluwer Academic Publishers, 2001.