A formal semantics for programmable access control

Ioanna Dionysiou

Research output: Other contribution

Original languageEnglish
TypeMSc Thesis
PublisherWashington State University
Publication statusPublished - May 2000

Cite this

Dionysiou, I. (2000, May). A formal semantics for programmable access control. Washington State University.
Dionysiou, Ioanna. / A formal semantics for programmable access control. 2000. Washington State University.
@misc{c629c505b61544e6956f1b17e2ee5cd7,
title = "A formal semantics for programmable access control",
author = "Ioanna Dionysiou",
year = "2000",
month = "5",
language = "English",
publisher = "Washington State University",
type = "Other",

}

Dionysiou, I 2000, A formal semantics for programmable access control. Washington State University.

A formal semantics for programmable access control. / Dionysiou, Ioanna.

Washington State University. 2000, MSc Thesis.

Research output: Other contribution

TY - GEN

T1 - A formal semantics for programmable access control

AU - Dionysiou, Ioanna

PY - 2000/5

Y1 - 2000/5

M3 - Other contribution

PB - Washington State University

ER -

Dionysiou I. A formal semantics for programmable access control. 2000.