Publication | Closed Access
UML specification of access control policies and their formal verification
29
Citations
8
References
2006
Year
Hardware SecurityEngineeringLogical Access ControlInformation SecurityVerificationAccess ControlFormal MethodsSecurity PropertySystems EngineeringComputer ScienceUml SpecificationFormal VerificationAuthentication Access ControlComputer Security ModelData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1