Show simple item record

dc.contributor.author
Basin, David A.
dc.contributor.author
Harvan, Matúš
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Zălinescu, Eugen
dc.date.accessioned
2018-11-21T16:05:16Z
dc.date.available
2018-11-16T10:16:00Z
dc.date.available
2018-11-21T16:05:16Z
dc.date.issued
2011
dc.identifier.isbn
978-1-4577-1242-5
en_US
dc.identifier.other
10.1109/TIME.2011.14
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/304245
dc.identifier.doi
10.3929/ethz-a-006742285
dc.description.abstract
We have previously presented a monitoring algorithm for compliance checking of policies formalized in an expressive metric first-order temporal logic. We explain here the steps required to go from the original algorithm to a working infrastructure capable of monitoring an existing distributed application producing millions of log entries per day. The main challenge is to correctly and efficiently monitor the trace interleavings obtained by totally ordering actions that happen at the same time. We provide solutions based on formula transformations and monitoring representative traces. We also report, for the first time, on statistics on the performance of our monitor on real-world data, providing evidence of its suitability for nontrivial applications.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
IEEE
en_US
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
Usage-control policy
en_US
dc.subject
Metric first-order temporal logic
en_US
dc.subject
Trace interleaving
en_US
dc.subject
Policy compliance checking
en_US
dc.subject
Compliance checking
en_US
dc.subject
Totally ordering action
en_US
dc.title
Monitoring usage-control policies in distributed systems
en_US
dc.type
Conference Paper
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.book.title
18th International Symposium on Temporal Representation and Reasoning (TIME) 2011 : 12-14 September 2011, Lübeck, Germany
en_US
ethz.pages.start
88
en_US
ethz.pages.end
95
en_US
ethz.code.ddc
DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.event
18th International Symposium on Temporal Representation and Reasoning (TIME 2011)
en_US
ethz.event.location
Lübeck, Germany
en_US
ethz.event.date
September 12-14, 2011
en_US
ethz.publication.place
Piscataway, NJ
en_US
ethz.publication.status
published
en_US
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
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
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-09T17:44:54Z
ethz.source
ECIT
ethz.source
ECOL
ethz.identifier.importid
imp59364eb82d0fa21432
ethz.identifier.importid
imp59366b148aa2112686
ethz.identifier.importid
imp593650c892eb528132
ethz.ecolpid
eth:4992
ethz.ecitpid
pub:70513
ethz.ecitpid
pub:109793
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2018-11-16T10:16:10Z
ethz.rosetta.lastUpdated
2018-11-21T16:05:23Z
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/42339
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/69266
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Monitoring%20usage-control%20policies%20in%20distributed%20systems&rft.date=2011&rft.spage=88&rft.epage=95&rft.au=Basin,%20David%20A.&Harvan,%20Mat%C3%BA%C5%A1&Klaedtke,%20Felix&Z%C4%83linescu,%20Eugen&rft.isbn=978-1-4577-1242-5&rft.genre=proceeding&rft_id=info:doi/10.1109/TIME.2011.14&rft.btitle=18th%20International%20Symposium%20on%20Temporal%20Representation%20and%20Reasoning%20(TIME)%202011%20:%2012-14%20September%202011,%20L%C3%BCbeck,%20Germany
 Search print copy at ETH Library

Files in this item

Thumbnail

Publication type

Show simple item record