Combining monitors for runtime system verification

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 4, 2002, Pages 112-127

  Levy, Joshua ^a   Saïdi, Hassen ^a   Uribe, Tomás E ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; GENERAL PURPOSE COMPUTERS; MONITORING; SERVERS;

FORMAL ANALYSIS; RUNTIME ENVIRONMENT; RUNTIME VERIFICATION; SOFTWARE LIBRARIES;

REAL TIME SYSTEMS;

EID: 18944373357     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80580-2     Document Type: Conference Paper

References (25)

1. Abadi M., Lamport L. Composing specifications. ACM Transactions on Programming Languages and Systems. 14:1992;1-60
2. Alpern B., Schneider F.B. Recognizing safety and liveness. Distributed Comp. 2:1987;117-126
3. Ben-Ari M., Manna Z., Pnueli A. The temporal logic of branching time. Acta Informatica. 20:1983;207-226
4. Cowan C., C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang and H. Hinton, StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks, in: Proc. 7th USENIX Security Conference, 1998, pp. 63-78
5. Dawson S., Levy J., Riemenschneider R., Saïdi H., Stavridou V., Valdes A. Design assurance arguments for intrusion tolerance. Workshop on Intrusion Tolerant Systems, DSN 2002. 2002;C.8.1, C.8.5
6. Emerson E.A., Halpern J.Y. 'Sometime' and 'not never' revisited: On branching time versus linear time. Journal of the ACM. 33:1986;151-178
7. Geilen M. On the construction of monitors for temporal logic properties. Electronic Notes in Theoretical Computer Science. 55:2001;. RV'01 - First Workshop on Runtime Verification
8. Jeffery C. The Alamo execution monitor architecture. Electronic Notes in Theoretical Computer Science. 30:2000
9. Jeffery C.L., Zhou W., Templer K., Brazell M. A lightweight architecture for program execution monitoring, in: ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering. 1998;67-74
10. Jim T., G. Morrisett, D. Grossman, M. Hicks, J. Cheney and Y. Wang, Cyclone: A safe dialect of C, in: USENIX Annual Technical Conference, 2002
11. Kim M., "Information Extraction for Run-time Formal Analysis," Ph.D. thesis, CIS Dept. Univ. of Pennsylvania (2001)
12. Ko C., "Execution Monitoring of Security Critical Programs in a Distributed System: A Specification-Based Approach," Ph.D. thesis, Computer Science, University of California at Davis (1996)
13. Ko C., M. Ruschitzka and K. Levitt, Execution monitoring of security critical programs in distributed systems: A specification-based approach, in: IEEE Symposium on Security and Privacy, 1997, pp. 175-187
14. Kortenkamp D., Milam T., Simmons R., Fernandez J.L. Collecting and analyzing data from distributed control programs. Electronic Notes in Theoretical Computer Science. 55:2001;. RV'01 - First Workshop on Runtime Verification
15. Lee I., S. Kannan, M. Kim, O. Sokolsky and M. Viswanathan, Runtime assurance based on formal specifications, in: International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
16. Manna Z. and A. Pnueli., Temporal verification diagrams, in: International Symposium on Theoretical Aspects of Computer Software (TACS'94), LNCS 789 (1994), pp. 726-765
17. Necula G.C., McPeak S., Weimer W. CCured: Type-safe retrofitting of legacy code. Principles of Programming Languages. 2002
18. Permeh R. and M. Maiffret, ida "Code Red" worm, Security Advisory AL20010717, eEye Digital Security (2001), http://www.eeye.com/html/ Research/Advisories/AL20010717.html
19. Porras P. and P. Neumann, EMERALD: Event monitoring enabling responses to anomalous live disturbances, in: Proceedings of the 20th National Information Systems Security Conference, Baltimore, MD, 1997, pp. 353-365
20. Rushby J., Security requirements specifications: How and what?, in: Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, 2001
21. Schneider F.B. Enforceable security policies. Information and System Security. 3:2000;30-50
22. Valdes A., M. Almgren, S. Cheung, Y. Deswarte, B. Dutertre, J. Levy, H. Saïdi, V. Stavridou and T. E. Uribe, An adaptive intrusion-tolerant server architecture, Technical report, System Design Laboratory, SRI International, CA (2001)
23. Viswanathan M., "Foundations for the Run-time Analysis of Software Systems," Ph.D. thesis, Computer and Information Science, University of Pennsylvania (2000)
24. Wagner D. and D. Dean, Intrusion detection via static analysis, in: IEEE Symposium on Security and Privacy, 2001, pp. 156-169
25. Zakinthinos A., "On the Composition of Security Properties," Ph.D. thesis, Department of Electrical and Computer Engineering, University of Toronto (1996)