Tractable flow analysis for anomaly detection in distributed programs-Reference-Cited by-同舟云学术

Tractable flow analysis for anomaly detection in distributed programs

Published:1993 Issue: Volume: Page:283-300
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cheung S. C.,Kramer J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57209-0_20.pdf

Reference14 articles.

1. G.S. Avrunin, U.A. Buy, J.C. Corbett, et al.: Automated Analysis of Concurrent Systems with the Constrained Expression Toolset IEEE TOSE 17, 11, 1204–1222.

2. S.C. Cheung and J. Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs, Technical Report, DOC 1993/3, March 1993.

3. P.C. Kanellakis and S.A. Smolka: On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. In Proc. 4th ACM Symposium on Principles of Distributed Computing, Ontario, Canada, August 1985, pp. 23–38.

4. J. Kramer, J. Magee, M. Sloman, et al.: CONIC: an Integrated Approach to Distributed Computer Control Systems. IEE Proceedings, Part E 130, 1 (January 1983), 1–10.

5. C.E. McDowell and D.P. Helmbold: Debugging Concurrent Programs. ACM Computing Surveys 21, 4, 593–623.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Activity threads: A unified framework for aiding behavioural modelling;Lecture Notes in Computer Science;1997

2. A Visual Approach to Distributed Programming;Tools and Environments for Parallel and Distributed Systems;1996

3. Contextual local analysis in the design of distributed systems;Automated Software Engineering;1995-03

4. Tractable flow analysis for anomaly detection in distributed programs;Lecture Notes in Computer Science;1993