User Tools
practical_enforcement_of_information_flow_properties
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
practical_enforcement_of_information_flow_properties [2013/05/13 18:20] fabio.massacci@unitn.it [Publications] |
practical_enforcement_of_information_flow_properties [2013/05/13 18:23] fabio.massacci@unitn.it [Publications] |
||
|---|---|---|---|
| Line 49: | Line 49: | ||
| ==== Publications ==== | ==== Publications ==== | ||
| - | * Ngo M., Massacci F., Gadyatskaya O.: MAP-REDUCE Runtime Enforcement of Information Flow Policies. Technical Report of the University of Trento. April 2013 (revised MAy 2013). Local copy available as PDF. Also available as [[http://arxiv.org/abs/1305.2136|ArXiv technical report]]. | + | * Ngo M., Massacci F., Gadyatskaya O.: MAP-REDUCE Runtime Enforcement of Information Flow Policies. Technical Report of the University of Trento. April 2013 (revised MAy 2013). Local copy available as {{:research_activities:enforcement:Ngo-Mass-Gady-ArXiv-1305.2136v1.pdf|PDF}}. Also available as [[http://arxiv.org/abs/1305.2136|ArXiv technical report]]. |
| * Bielova N., Devriese D.,Massacci F., Piessens F.: Reactive non-interference for a browser model. Proc. of NSS’11. p 97-104. IEEE 2011. {{:research_activities:enforcement:biel-etal-11-nss.pdf|PDF}}[[http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW602.abs.html|Full version as Technical Report at K.U.Leuven]] | * Bielova N., Devriese D.,Massacci F., Piessens F.: Reactive non-interference for a browser model. Proc. of NSS’11. p 97-104. IEEE 2011. {{:research_activities:enforcement:biel-etal-11-nss.pdf|PDF}}[[http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW602.abs.html|Full version as Technical Report at K.U.Leuven]] | ||
| - | |||
| * Bielova N., Massacci F.: Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies. Proc. of POLICY’11. p. 89-96. IEEE 2011. {{:research_activities:enforcement:biel-mass-11-policy.pdf|PDF}} | * Bielova N., Massacci F.: Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies. Proc. of POLICY’11. p. 89-96. IEEE 2011. {{:research_activities:enforcement:biel-mass-11-policy.pdf|PDF}} | ||
| * Bielova N., Massacci F.: Do you really mean what you actually enforced? - Edited automata revisited. . //International Journal of Information Security// 10(4):239-254 (2011) {{:research_activities:enforcement:biel-mass-08-ijis.pdf|PDF}} | * Bielova N., Massacci F.: Do you really mean what you actually enforced? - Edited automata revisited. . //International Journal of Information Security// 10(4):239-254 (2011) {{:research_activities:enforcement:biel-mass-08-ijis.pdf|PDF}} | ||
practical_enforcement_of_information_flow_properties.txt · Last modified: 2021/01/29 10:58 (external edit)
Page Tools
