Availability enforcement by obligations and aspects identification

Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006

Volumn 2006, Issue , 2006, Pages 229-238

  Cuppens, Frédéric ^a   Cuppens Boulahia, Nora ^a   Ramard, Tony ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

Aspects; Availability; Obligation; Temporized actions

Indexed keywords

MATHEMATICAL MODELS; SECURITY OF DATA; SECURITY SYSTEMS;

ASPECTS IDENTIFICATION; AVAILABILITY ENFORCEMENT; INFORMATION SYSTEMS; TEMPORIZED ACTIONS;

INFORMATION TECHNOLOGY;

EID: 33750959395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2006.36     Document Type: Conference Paper

References (14)

1. M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 14(4), October 1992.
2. E. Amoroso. A policy model for denial of service. In Third IEEE Computer Security Foundations Workshop, Franconia, NH, 1990.
3. E. Bacic and M. Kuchta. Considerations in the Preparation of a Set of Availability Criteria. In Third Annual Canadian Computer Security Symposium, Ottawa, Canada, May 1991.
4. S. Chen, K. Pattabiraman, Z. Kalbarczyk, and R. Iyer. Formal reasoning of various categories of widely exploited security vulnerabilities by pointer taintedness semantics. In 19th International Information Security Conference, Toulouse, France, August 2004. Kluwer.
5. F. Cuppens, N. Cuppens-Boulahia, and T. Sans. Nomad : A Security Model with Non Atomic Actions and Deadlines. In The computer security foundations workshop (CSFW), Aix en Provence, France, 2005.
6. F. Cuppens and C. Saurel. Towards a Formalization of Availability and Denial of Service. In First Information Systems Technology Panel Symposium on Protecting NATO information systems in the 21st century, Washington, DC, October 1999.
7. V. D. Gligor. A note on the denial-of-service problem. In IEEE Symposium on Security and Privacy, Oakland, Ca, 1983.
8. K. Kendall. A Database of Computer Attacks for the Evaluation of Intrusion Detection Systems. Master Thesis, MIT, June 1999.
9. G. Kiczales. Aspect-oriented programming. ACM Comput. Surv., 28(4es), 1996.
10. G. Kiczales and E. Hilsdale et al. An Overview of AspectJ. In 15th European Conf. on Object-Oriented Programming (ECOOP), volume 2072 of Lecture Notes in Computer Science, Budapest, Hungary, June 2001. Springer.
11. C. Meadows. A cost-based framework for analysis of denial of service networks. Journal of Computer Security, 9(1/2):143-164, 2001.
12. J. Millen. A ressource allocation model for denial of service. In IEEE Symposium on Security and Privacy, Oakland, CA, 1992.
13. J. Mirkovic and P. Reiher. A taxonomy of ddos attack and ddos defense mechanisms. SIGCOMM Comput. Commun. Rev., 34(2):39-53, 2004.
14. C. Yu and V. Gligor. A specification and verification method for preventing denial of service. IEEE Transactions on Software Engineering, 16(6):581-592, June 1990