A Logic For State Transformations in Authorization Policies

CC
CSFW
1997
10th Computer Security Foundations Workshop (CSFW '97)
Abstract - A Logic For State Transformations in Authorization Policies

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Yun Bai Articles by Vijay Varadharajan

10th Computer Security Foundations Workshop (CSFW '97)

Rockport, Massachusetts

June 10-June 12

ISBN: 0-8186-7990-5

	ASCII Text	x
	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.

	BibTex	x
	@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}, }

	RefWorks Procite/RefMan/Endnote	x
	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 -

Yun Bai

Vijay Varadharajan

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596810

Citation:

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.