Yun Bai, Vijay Varadharajan, "A Logic For State Transformations in Authorization Policies," Computer Security Foundations Workshop, IEEE, pp. 173, 10th Computer Security Foundations Workshop (CSFW '97), 1997.

@article{ 10.1109/CSFW.1997.596810,
author = {Yun Bai and Vijay Varadharajan},
title = {A Logic For State Transformations in Authorization Policies},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {1997},
issn = {1063-6900},
pages = {173},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596810},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - A Logic For State Transformations in Authorization Policies
SN - 1063-6900
SP
EP
A1 - Yun Bai,
A1 - Vijay Varadharajan,
PY - 1997
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -