Specification modeling and validation applied to a family of network security products

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 71-80

  Hall, Robert J ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GATEWAYS (COMPUTER NETWORKS); SPECIFICATIONS;

CUSTOMER NEED; HIGH BANDWIDTH; INTERNET CONNECTION; MODELING AND VALIDATION; NETWORK-BASED ATTACKS; NETWORKS SECURITY; SECURITY GATEWAYS; SECURITY PRODUCTS; SET OF CUSTOMERS; SPECIFICATION MODELS;

NETWORK SECURITY;

EID: 33244490092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989792     Document Type: Conference Paper

References (12)

1. R. Alur, L. Jagadeesan, J. Kott, & J. Von Olnhausen; Model-checking of real-time systems: a telecommunications application; In Proc. 19th Intl. Conf. Software Engineering, 514-524; ACM Press, 1997.
2. M. Archer, C. Heitmeyer, & E. Riccobene; Using TAME to prove invariants of automata models: two case studies, in Proc. Third ACM Workshop on Formal Methods in Software Practice (FMSP'OO), ACM 2000.
3. R. Bharadwaj & C. Heitmeyer; Developing high assurance avionics systems with the SCR requirements method, in Proc.19thDigitalAvionicsSystemsConference,2000.
4. R. Bharadwaj & S. Sims; SALSA: combining constraint solvers with BDDs for automatic invariant checking; in Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000.
5. J. Denker, S. Bellovin, H. Daniel, N. Mintz, T. Killian, & M. Plotnick; Moat: a virtual private network appliance and services platform; In Proc. 13th USENIX Systems Administration Conference (USA'99), USENIX Assoc. 1999.
6. R.J. Hall; Automatic extraction of executable program subsets by simultaneous dynamic program slicing; Automated Software Engineering 2(1), 33-53, Kluwer Academic Publishers, 1995.
7. R.J. Hall; Specification, validation, and synthesis of email agent controllers: a case study in function rich reactive system design; in Proc. Third ACM Workshop on Formal Methods in Software Practice (FMSP'OO), ACM 2000.
8. R.J. Hall; Specification modeling of network security gateways: the details; ftp://ftp.research.att.com/dist/hall/papers/isat/netsecval-data.txt
9. M. Heimdahl & N. Leveson; Completeness and consistency analysis of state-based requirements; IEEE Transactions on Software Engineering, 22(6), 363-377, 1996.
10. C. Heitmeyer; Applying 'practical' formal methods to the specification and analysis of security properties, in Proc. Info. Assurance in Computer Networks (MMM-ACNS 2001), LNCS 2052, Springer-Verlag, 2001.
11. C. Rich & Y. Feldman; Seven layers of knowledge representation and reasoning in support of software development; IEEE Trans. on Software Eng. 18(6), 451-469, June 1992.
12. B. Schneier (quoting Project Honeynet), Crypto-gram email newsletter, June 2001. Counterpane Systems, Inc, 2001. http://www.counterpane.com/crypto-gram0106.html