User Tools

Site Tools


practical_enforcement_of_information_flow_properties

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

practical_enforcement_of_information_flow_properties [2013/05/13 18:23]
fabio.massacci@unitn.it [Publications]
practical_enforcement_of_information_flow_properties [2015/01/26 09:55] (current)
nguyennhatminh.ngo@unitn.it [Publications]
Line 48: Line 48:
  
 ==== Publications ==== ==== Publications ====
 +  * Ngo M., Massacci F., Milushev D., Piessens F.: Runtime Enforcement of Security Policies on Black Box Reactive Programs. //In Proc. of POPL 2015// {{:research_activities:enforcement:popl070-ngo.pdf|PDF}}. 
 +  * Ngo M., Massacci F.: Programmable Enforcement Framework of Information Flow Policies. // In Proc. of ICTCS 2014// {{:research_activities:enforcement:ngo-massacci-ictcs2014.pdf|PDF}}.  
 +  * Ngo M., Massacci F., Gadyatskaya O.: MAP-REDUCE Enforcement Framework of Information Flow Policies. // In Informal Proc. of FCS 2013// {{:research_activities:enforcement:ngo-mass-gady-fcs2013-ecg.pdf|PDF}}.   
   * 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]].    * 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]]. 
  
practical_enforcement_of_information_flow_properties.txt · Last modified: 2015/01/26 09:55 by nguyennhatminh.ngo@unitn.it