Publication | Open Access
Enforcement and validation (at runtime) of various notions of opacity
99
Citations
27
References
2014
Year
EngineeringInformation SecurityVerificationFormal MethodsComputer ScienceFormal VerificationVarious Notions
| Year | Citations | |
|---|---|---|
Page 1
Page 1