On the definition and policies of confidentiality

Proceedings - IAS 2007 3rd Internationl Symposium on Information Assurance and Security

Volumn , Issue , 2007, Pages 337-342

  Hammer, Johs Hansen ^a   Schneider, Gerardo ^b  

^a NAV   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Confidentiality; Norms; Policies

Indexed keywords

INFORMATION SERVICES;

FORMAL SPECIFICATIONS; GENERAL (CO); INFORMATION ASSURANCE AND SECURITY (IAS); INFORMATION SECURITY; INFORMATION-FLOW CONTROL; SECURITY POLICIES;

LINGUISTICS;

EID: 46749110435     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAS.2007.20     Document Type: Conference Paper

References (14)

1. Ambient Networks Phase 2. D10-d.1 integrated design for context, network and policy management, December 2006.
2. P. Bieber and F. Cuppens. Expression of confidentiality policies with deontic logic, pages 103-123. Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, 1993.
3. F. Cuppens and R. Demolombe. A modal logical framework for security policies. In ISMIS, volume 1325 of LNCS, pages 579-589. Springer, 1997.
4. F. Cuppens and C. Saurel. Specifying a security policy: a case study. In CSFW, pages 123-134. IEEE Computer Society, 1996.
5. J. Hansen. Simulation and automation of legal decisions. CompLex 6/86, Norwegian University Press, 1986.
6. J. Hansen. Formalisering av rettslige normer (Formalizing legal norms). In Norwegian, 1990.
7. J. Hansen and E. Ødegaard. SMARN -A language for modelling legal norms, with an example of modelling parts of the Norwegian Inheritance Act. CompLex 8/85, Norwegian University Press, 1985.
8. ISO/IEC 17799. Information technology - Security techniques - Code of practice for information security management. http://www.iso.org/iso/en/prods- services/popstds/informationsecurity. html, 2000. Rev. 2005.
9. J. McLean. Security models and information flow. In IEEE Symposium on Security and Privacy, pages 180-189, 1990.
10. P. McNamara. Deontic logic. In D. M. Gabbay and J. Woods, editors, Handbook of the History of Logic, volume 7, pages 197-289. North-Holland Publishing, 2006.
11. NCSC-TG-004. [Aqua Book] Glossary of Computer Security Terms, http://www.marcorsyscom.usmc.mil/sites/ia/references/national/NCSC-TG-004% 20Glossary.html, 1988.
12. C. Prisacariu and G. Schneider. A formal language for electronic contracts. In FMOODS'07, volume 4468 of LNCS, pages 174-189. Springer, 2007.
13. A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, special issue on Formal Methods for Security, 21(1):209-239, 2003.
14. N. K. Sundby. Om normer. Dr. Juris thesis, University of Oslo, 1974. In Norwegian (in English: On Norms).