An integrated view of security analysis and performance evaluation: trading qos with covert channel bandwidth

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

Volumn 3219, Issue , 2004, Pages 283-296

  Aldini, Alessandro ^a   Bernardo, Marco ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BANDWIDTH; COMMERCE; SECURITY SYSTEMS; SYSTEMS ANALYSIS;

COVERT CHANNELS; HIGH SECURITY LEVELS; QUALITATIVE ANALYSIS; REAL SYSTEMS; SECURITY ANALYSIS; SECURITY LEVEL; SECURITY REQUIREMENTS; SYSTEM DESIGN PROCESS;

QUALITY OF SERVICE;

EID: 35048838158     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30138-7_24     Document Type: Article

References (18)

1. [AB04] A. Aldini and M. Bernardo. TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. 1st Int. Conf. on Quantitative Evaluation of Systems (QEST'04), IEEE CS Press, to appear, 2004.
2. [ABG03] A. Aldini, M. Bravetti, and R. Gorrieri. A Process-algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security 12(2), 2004.
3. [AG02] A. Aldini and R. Gorrieri. Security Analysis of a Probabilistic Non-repudiation Protocol. 2nd Int. Work, on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-ProbMiV'02), Springer LNCS 2399:17-36, 2002.
4. [BB03] M. Bernardo and M. Bravetti, Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science 290:117-160, 2003.
5. [BCD02] M. Bernardo, P. Ciancarini, and L. Donatiello. Architecting Families of Software Systems with Process Algebras. ACM Trans, on Software Engineering and Methodology 11:386-426, 2002.
6. [BDC02] M. Bernardo, L. Donatiello, and P. Ciancarini. Stochastic Process Algebra: Prom an Algebraic Formalism to an Architectural Description Language. Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
7. [CLS00] W.R. Cleaveland, T. Li, and S. Sims. The Concurrency Workbench of the New Century - Version 1.2 - User's Manual, www.cs.sunysb.edu/~cwb/, 2000.
8. [FG95] R. Focardi and R. Gorrieri. A Classification of Security Properties. Journal of Computer Security 3:5-33, 1995.
9. [GM82] J.A. Goguen, J. Meseguer. Security Policy and Security Models. Symposium on Security and Privacy (SSP'82), IEEE CS Press, pp. 11-20, 1982.
10. [KMM98] M.H. Kang, A.P. Moore, and I.S. Moskowitz. Design and Assurance Strategy for the NRL Pump. NRL Memo 5540-97-7991, Naval Research Laboratory, Washington, D.C., 1997,
11. appeared in IEEE Computer Magazine 31:56-64, 1998.
12. +04] R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina, and E. Tronci. Automatic Analysis of the NRL Pump. To appear in ENTCS, Selected Papers from MEFISTO project "Formal Methods for Security", 2004.
13. [Lav83] S.S. Lavenberg editor. Computer Performance Modeling Handbook. Academic Press, 1983.
14. [Mea03] C. Meadows. What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. 12th Europ. Symp. on Programming Languages and Systems (ESOP'03), Springer LNCS 2618:10-21, 2003.
15. [Mil89] R. Milner. Communication and Concurrency. Prentice Hall, 1989.
16. [MK94] I.S. Moskowitz and M.H. Kang. Covert Channels - Here to Stay? 9th Conf. on Computer Assurance (Compass'94), National Institute of Standards and Technology, pp. 235-244, 1994.
17. +01] P.Y.A. Ryan, J. McLean, J. Millen, and V. Gligor. Non-interference: Who Needs It? 14th Computer Security Foundations Workshop (CSFW'01), pp. 237-238, IEEE CS Press, 2001.
18. [Ste94] W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.