Publication | Open Access
Verification and test generation for the SSCOP protocol
35
Citations
6
References
2000
Year
Sscop ProtocolEngineeringAuthentication ProtocolSoftware TestingVerificationFormal MethodsComputer EngineeringCryptographic ProtocolFormal VerificationSoftware AnalysisSecure ProtocolData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1