Handbook of Truly Concurrent Process Algebra

Chapter 25: Secure APTC

Abstract

This chapter introduces the modeling of security based on truly concurrent process algebra.

Keywords

Security; Process Algebra; True Concurrency

Cryptography mainly includes two aspects: the cryptographic operations and security protocols. The former includes symmetric and asymmetric encryption/decryption, hash, digital signatures, message authentication codes, random sequence generation, and XOR, etc. The latter includes the computational logic driven by the security application logics among the cryptographic operations.

In this chapter, we model the above two cryptographic properties by APTC ($APT{C}_G$). In Section 25.1 ...