Monitoring security policies with metric first-order temporal logic
dc.contributor.author
Basin, David
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Müller, Samuel
dc.date.accessioned
2017-06-09T06:42:04Z
dc.date.available
2017-06-09T06:42:04Z
dc.date.issued
2010
dc.identifier.isbn
978-1-4503-0049-0
dc.identifier.isbn
1-4503-0049-9
dc.identifier.other
10.1145/1809842.1809849
dc.identifier.uri
http://hdl.handle.net/20.500.11850/25179
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Temporal logic
dc.subject
Monitoring
dc.subject
Security policies
dc.subject
Access control
dc.subject
Separation of duty
dc.subject
Compliance
dc.subject
Usage control
dc.title
Monitoring security policies with metric first-order temporal logic
dc.type
Conference Paper
ethz.book.title
15th ACM Symposium on Access Control Models and Technologies, SACMAT 2010
ethz.pages.start
23
ethz.pages.end
33
ethz.event
15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010)
ethz.event.location
Pittsburgh, PA, USA
ethz.event.date
June 9-11, 2010
ethz.identifier.nebis
006167201
ethz.publication.place
New York, NY
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-09T06:42:12Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d342f3d012921
ethz.ecitpid
pub:40822
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T10:49:14Z
ethz.rosetta.lastUpdated
2024-02-01T16:25:54Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Monitoring%20security%20policies%20with%20metric%20first-order%20temporal%20logic&rft.date=2010&rft.spage=23&rft.epage=33&rft.au=Basin,%20David&Klaedtke,%20Felix&M%C3%BCller,%20Samuel&rft.isbn=978-1-4503-0049-0&1-4503-0049-9&rft.genre=proceeding&rft_id=info:doi/10.1145/1809842.1809849&rft.btitle=15th%20ACM%20Symposium%20on%20Access%20Control%20Models%20and%20Technologies,%20SACMAT%202010
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35278]