On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.

Joyanta Debnath Sze Yiu Chau Omar Chowdhury

Published in: CCS (2021)

Keyphrases

formal specification
specification language
high level
artificial intelligence
process algebra
data sets
computer science
software engineering
engineering design
model checking