• Corpus ID: 231592589

Secure Process Algebra

  title={Secure Process Algebra},
  author={Yong Wang},
  • Yong Wang
  • Published 13 January 2021
  • Computer Science
  • ArXiv
Based on our previous work on truly concurrent process algebras APTC, we use it to verify the security protocols. This work (called Secure APTC, abbreviated SAPTC) have the following advantages in verifying security protocols: (1) It has a firmly theoretic foundations, including equational logics, structured operational semantics, and axiomatizations between them; (2) It has rich expressive powers to describe security protocols. Cryptographic operations are modeled as atomic actions and can be…