SWhat changed
Modeled active message manipulation and gave security characterizations and algorithms for specified public-key protocols.
Scientific scope
The record is the exact two-author 1983 IEEE paper. Its symbolic assumptions and protocol class are explicit; it does not absorb all later Dolev–Yao variants, computational cryptography or every protocol-verification method.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author 1983 IEEE paper. Its symbolic assumptions and protocol class are explicit; it does not absorb all later Dolev–Yao variants, computational cryptography or every protocol-verification method.
Contributors
- Danny Dolev · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Andrew Chi-Chih Yao · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction