Towards a library of composable models to estimate the performance of security solutions

WOSP'08: Proceedings of the 7th International Workshop on Software and Performance 2008

Volumn , Issue , 2008, Pages 145-155

  Cortellessa, Vittorio ^a   Trubiani, Catia ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Generalized stochastic petri nets; Model composition; Software performance modeling; Software security; Tradeoff between performance and security

Indexed keywords

BUILDING MATERIALS; COMMERCE; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; TECHNICAL PRESENTATIONS;

GENERALIZED STOCHASTIC PETRI NETS; MODEL COMPOSITION; SOFTWARE PERFORMANCE MODELING; SOFTWARE SECURITY; TRADEOFF BETWEEN PERFORMANCE AND SECURITY;

SECURITY OF DATA;

EID: 57349156607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1383559.1383579     Document Type: Conference Paper

References (16)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, "Modelling with Generalized Stochastic Petri Nets", John Wiley and Sons, 1994.
2. D. Berbecaru, "On Measuring SSL-based Secure Data Transfer with Handheld Devices", Proc. of 2nd International Symposium on Wireless Communication Systems, September 2005.
3. M. Blaze, L. and J. Ioannidis, A.D. Keromytis, "Trust Management for IPsec", ACM Transactions on Information and System Security, vol.5, no.2, pages 95-118, May 2002.
4. H. Gomaa, "Designing Concurrent, Distributed, and Real-time applications", Addison Wesley, 2000.
5. E. Gomez-Martinez, J. Merseguer, "ArgoSPE: Model-Based Software Performance Engineering", Proc. of ICATPN 2006, LNCS 4024, pages 401-410, 2006.
6. V. Gupta and S. Gupta, S. Chang, D. Stebila, "Performance Analysis of Elliptic Curve Cryptography for SSL", Proceedings of the 1st ACM workshop on Wireless security (WiSE02), Atlanta, GA, September 2002.
7. A. Harbiterr, D. A. Menasce, "A Methodology for Analyzing the Performance of Authentication Protocols", ACM Transactions TISSEC, vol. 5, issue 4, pp. 458-491, November 2002.
8. C. Hirel, R. Sahner, X. Zang, K. Trivedi, "Reliability and Performability Modeling using SHARPE 2000", LNCS 1786, pp. 345-349, 2000.
9. K. Kant and R. Iyer, P. Mohapatra, "Architectural Impact of Secure Socket Layer on Internet Servers", Proc. of the 2000 IEEE International Conference on Computer Design, 2000.
10. J. Kurose, K. Ross, "Computer Networking: A Top Down Approach Featuring the Internet", 3rd edition, Addison-Wesley, 2004.
11. J. P. Lopez-Grao, J. Merseguer, J. Campos, "From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Performance Engineering", Proc. of 4th International Workshop on Software and Performance, September 2004.
12. A. Nadeem, M. Y. Javed, "A Performance Comparison of Data Encryption Algorithms", Proc. of First International Conference on Information and Communication Technologies, August 2005.
13. D.C. Petriu, CM. Woodside, D.B. Petriu, J. Xu, T. Israr, G.Georg, R. France, J.M. Bieman, S.H. Houmb, J. Jurjens, "Performance Analysis of Security Aspects in UML Models", Proc. of 6th International Workshop on Software and Performance, February 2007.
14. W. Stallings, "Cryptography and Network Security: Principles and Practices", Third Edition, Prentice Hall, 2003.
15. D. R. Stinson, "Cryptography: Theory and Practice", Second Edition, 2002.
16. K. Trivedi, "Sharpe Interface, User's Manual, Version 1.01", August 1999. http://www.ee.duke.edu/chirel/MANUAL/gui.doc