Publication | Open Access
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
128
Citations
22
References
2011
Year
Runtime Enforcement MonitorsEngineeringRuntime VerificationProgram AnalysisInformation SecuritySecure By DesignSoftware AnalysisSystems EngineeringComputer ScienceLanguage-based SecurityFormal VerificationSystem SoftwareData Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1