A Datalog Semantics for Paralocks
Paper i proceeding, 2013
security policy language
datalog
information flow
Författare
Bart van Delft
Chalmers, Data- och informationsteknik, Programvaruteknik
Niklas Broberg
Chalmers, Data- och informationsteknik, Programvaruteknik
David Sands
Chalmers, Data- och informationsteknik, Programvaruteknik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7783 305-320978-3-642-38003-7 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-642-38004-4_20
ISBN
978-3-642-38003-7