A high level formal language for specifying security properties

3630/Moen_-_A_high_level_formal_language_for_specifying_securi.pdf

Moen, Anders; Kristoffersen, Thor; Owe, Olaf

November 21, 2002

DART

• Published date: November 21, 2002
• Publisher:
• Refereed: 1
• Filename: 3630/Moen_-_A_high_level_formal_language_for_specifying_securi.pdf
• Conference: 14th Nordic Workshop on Programming Theory, NWPT 2002. Tallin, Estonia, 20-22 November 2002
• Page(s):
• Journal:
• Name and number of project: CASENET
• Volume/number:
• Title: A high level formal language for specifying security properties
• Author(s): Moen, Anders; Kristoffersen, Thor; Owe, Olaf
• ISBN:
• Book title:
• Editor: