Raphael Khoury (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Raphael Khoury, Nadia Tawbi: Which security policies are enforceable by runtime monitors? A survey. Computer Science Review 6(1): 27-45 (2012)

4 Hugues Chabot, Raphael Khoury, Nadia Tawbi: Extending the enforcement power of truncation monitors using static analysis. Computers & Security 30(4): 194-207 (2011)

3 Raphael Khoury, Nadia Tawbi: Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust 2010: 176-190

2 Raphael Khoury, Nadia Tawbi: Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS 2010: 139-154

1 Hugues Chabot, Raphael Khoury, Nadia Tawbi: Generating In-Line Monitors for Rabin Automata. NordSec 2009: 287-301

Selection of 5 from 5 records - Raphael Khoury has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

5		Raphael Khoury, Nadia Tawbi: Which security policies are enforceable by runtime monitors? A survey. Computer Science Review 6(1): 27-45 (2012)
4		Hugues Chabot, Raphael Khoury, Nadia Tawbi: Extending the enforcement power of truncation monitors using static analysis. Computers & Security 30(4): 194-207 (2011)
3		Raphael Khoury, Nadia Tawbi: Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust 2010: 176-190
2		Raphael Khoury, Nadia Tawbi: Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS 2010: 139-154
1		Hugues Chabot, Raphael Khoury, Nadia Tawbi: Generating In-Line Monitors for Rabin Automata. NordSec 2009: 287-301