Efficient verification of security protocols using partial-order reductions - Concepedia

Concepedia

Publication | Closed Access

Efficient verification of security protocols using partial-order reductions

12

Citations

15

References

2003

Year

Edmund M. Clarke, Somesh Jha, Will Marrero

International Journal on Software Tools for Technology Transfer

Cryptographic PrimitiveEngineeringVerificationFormal MethodsComputer ScienceCryptographic ProtocolSecurity ProtocolsFormal VerificationSecure ProtocolEfficient VerificationData SecurityCryptography

References

	Year	Citations

Page 1