Design, modeling and verification of security protocols based on event-B method.
- Resource Type
- Journal
- Source
Journal of Software. Ruanjian Xuebao (J. Softw.) (20180101), 29, no.~11, 3400-3411. ISSN: 1000-9825 (print).- Subject
- 68
Computer science -- 68TArtificial intelligence
68T15Theorem proving - Language
- English
Chinese