A Logic for State-Modifying Authorization Policies

Moritz Y. Becker, Sebastian Nanz

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 12th European Conference on Research in Computer Security (ESORICS'07)
Publisher	Springer
Publication date	2007
Publication status	Published - 2007
Event	12th European Conference on Research in Computer Security - Dresden, Germany Duration: 24 Sept 2007 → 26 Sept 2007 Conference number: 12

Conference	12th European Conference on Research in Computer Security
Number	12
Country/Territory	Germany
City	Dresden
Period	24/09/2007 → 26/09/2007

Series	Lecture Notes in Computer Science
Number	4734

OpenUrl availability

@inproceedings{b3a67b0ccea84c03a50350eb572e9b77,

title = "A Logic for State-Modifying Authorization Policies",

author = "Becker, {Moritz Y.} and Sebastian Nanz",

year = "2007",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4734",

booktitle = "Proceedings of the 12th European Conference on Research in Computer Security (ESORICS'07)",

note = "12th European Conference on Research in Computer Security , ESORICS'07 ; Conference date: 24-09-2007 Through 26-09-2007",

}

TY - GEN

T1 - A Logic for State-Modifying Authorization Policies

AU - Becker, Moritz Y.

AU - Nanz, Sebastian

N1 - Conference code: 12

PY - 2007

Y1 - 2007

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

BT - Proceedings of the 12th European Conference on Research in Computer Security (ESORICS'07)

PB - Springer

T2 - 12th European Conference on Research in Computer Security

Y2 - 24 September 2007 through 26 September 2007

ER -