Sciweavers

1440 search results - page 67 / 288
» Third-Party Flow Control
Sort
View
IOLTS
2003
IEEE
109views Hardware» more  IOLTS 2003»
15 years 9 months ago
Low-Cost On-Line Fault Detection Using Control Flow Assertions
Rajesh Venkatasubramanian, John P. Hayes, Brian T....
135
Voted
ESORICS
2003
Springer
15 years 9 months ago
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
Jacob Zimmermann, Ludovic Mé, Christophe Bi...
SAC
2010
ACM
15 years 9 months ago
An algorithm to generate the context-sensitive synchronized control flow graph
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
Marisa Llorens, Javier Oliver, Josep Silva, Salvad...
120
Voted
POPL
2010
ACM
15 years 9 months ago
Paralocks : Role-Based Information Flow Control and Beyond
Niklas Broberg, David Sands