Title: Runtime enforcement of security policies on black box reactive programs
Authors: Ngo, Minh
Massacci, Fabio
Milushev, Dimiter
Piessens, Frank
Issue Date: Jan-2015
Host Document: Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015) pages:43-54
Conference: POPL edition:42 location:Mumbai, India date:15-17 January 2015
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
popl070-ngo.pdf Published 531KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.