Verifying trustworthiness requirements in distributed systems with formal log-file analysis

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages

  Ulrich, A ^a   Hallal, H ^b   Petrenko, A ^b   Boroday, S ^b  

^a SIEMENS AG   (Germany)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY;

CONCURRENT SYSTEMS; DISTRIBUTED SYSTEMS; LOG-FILE ANALYSIS; MODEL CHECKER; REQUIREMENT DESCRIPTION; SYSTEM UNDER TEST; TECHNOLOGY-BASED; TRUSTWORTHY REQUIREMENTS;

MODEL CHECKING;

EID: 84969508920     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174915     Document Type: Conference Paper

References (17)

1. B. Algayres, Y. Lejeune, E. Hugonnet, "GOAL: Observing SDL behaviors with GEODE", in SDL'95 with MSC in CASE (ed. R. Braek, A. Sarma), Proc. of the 7th SDL Forum, Oslo, Norway, September, 1995, Elsevier Science Publishers B. V. (North Holland), pp. 359-372.
2. J. P. Black, M. H. Coffin, D. J. Taylor, T. Kunz, A. A. Basten, "Linking Specifications, Abstraction, and Debugging", CCNG Technical Report E-232, Computer Communications and Network Group, University of Waterloo, November 1993.
3. K. M. Chandy, L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems", ACM Transactions on Computing Systems 3(1), pp. 63-75, February 1985.
4. M. Dwyer, G. Avrunin, and J. Corbett, "Patterns in Property Specifications for Finite-state Verification", In Proc. 21st International Conference on Software Engineering, May 1999.
5. M. Dwyer, L. Clarke, "Data Flow Analysis for Verifying Properties of Concurrent Programs", In Proc. of ACM SIGSOFT'94, New Orleans, LA, USA, 1994.
6. S. Fischer, A. Scholz, D. Taubner, "Verification in process algebra of the distributed control of track vehicles - a case study"; 4th International Conference on Computer-aided Verification (CAV'92); Montreal, Canada; 1992; pp. 192-205.
7. E. Fromentin, M. Raynal, V. Garg, and A. Tomlinson, "On the Fly Testing of Regular Patterns in Distributed Computations", Internal Publication # 817, IRISA, Rennes, France, 1994.
8. K. Grabenweger, E. Reyzl, H. Sauer, "Trace-based testing of middleware": 5th Conference on Quality Engineering in Software Technology; Nürnberg, Germany; 2002.
9. R. Groz, "Unrestricted Verification of Protocol Properties on a Simulation Using an Observer Approach", Protocol Specification, Testing and Verification, VI, Montréal, Canada, North-Holland, 1986, pp. 255-266.
10. H. Hallal, A. Petrenko, A. Ulrich, S. Boroday, "Using SDL Tools to Test Properties of Distributed Systems", Workshop on Formal Approaches to Testing of Software (FATES) in affiliation with CONCUR 2001; Aalborg, Denmark; BRICS Technical Report NS-01-4, August 2001.
11. C. Jard, T. Jeron, G. V. Jourdan, and J. X. Rampon, "A General Approach to Trace-checking in Distributed Computing Systems", In Proc. IEEE Int. Conf. on Distributed Computing Systems, Poznan, Poland, June 1994.
12. S. Kumar, E. Spafford, "An Application of Pattern Matching in Intrusion Detection", Technical Report 94-013, Purdue University, Department of Computer Sciences, March 1994.
13. D. C. Luckham and B. Frasca, "Complex Event Processing in Distributed Systems", Stanford University Technical Report CSL- TR-98-754, March 1998, 28 pages.
14. B. Miller, J. Choi, "Breakpoints and Halting in Distributed Programs", In Proc. of the 8th IEEE Int. Conf. on Distributed Computing Systems, San Jose, July 1988.
15. Pattern Specification System, http://www.cis.ksu.edu/santos/spec-patterns/.
16. S. Staniford-Chen, S. Cheung, R. Crawford, M. Dilger, J. Frank, J. Hoaglan. K. Levitt, C. Wee, R. Yip, D. Zerkle, "The Design of GrIDS: A Graph-Based Intrusion Detection System", Technical Report, Department of Computer Science, University of California at Davis, January 1999.
17. P. A. S. Ward, "A Framework Algorithm for Dynamic Centralized Dimension-Bounded Timestamps", In Proc. of CASCON 2000, Mississauga.