We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Secure Process Algebra

Authors: Yong Wang
Abstract: 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 extended, explicit parallelism and communication mechanism to modeling communication operations and principals, rich computational properties to describing computational logics in the security protocols, including conditional guards, alternative composition, sequential composition, parallelism and communication, encapsulation and deadlock, recursion, abstraction. (3) Especially by abstraction, it is convenient and obvious to observe the relations between the inputs and outputs of a security protocols, including the relations without any attack, the relations under each known attack, and the relations under unknown attacks if the unknown attacks can be described.
Comments: 172 pages, 36 figures, 28 tables
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
Cite as: arXiv:2101.05140 [cs.LO]
  (or arXiv:2101.05140v4 [cs.LO] for this version)

Submission history

From: Yong Wang [view email]
[v1] Wed, 13 Jan 2021 15:35:38 GMT (14305kb)
[v2] Wed, 17 Feb 2021 03:47:56 GMT (15646kb)
[v3] Fri, 26 Mar 2021 16:08:41 GMT (5106kb,D)
[v4] Thu, 1 Apr 2021 04:18:38 GMT (590kb,D)

Link back to: arXiv, form interface, contact.