Publication | Closed Access
Security policies enforcement using finite and pushdown edit automata
13
Citations
12
References
2013
Year
EngineeringInformation SecurityFormal MethodsSecurityPushdown AutomatonComputer SciencePushdown Edit AutomataFinite-state SystemFormal VerificationComputer Security ModelData Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1