Published in
Springer Verlag, Lecture Notes in Computer Science, p. 19-31
DOI: 10.1007/978-3-319-44341-6_2
Links
Tools
Automatic Enforcement of Security Properties
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 