Login / Signup
A novel formal logic for formal analysis of timeliness in non-repudiation protocols.
Ke Yang
Meihua Xiao
Xiaomei Zhong
Yingqiang Zhong
Published in:
J. King Saud Univ. Comput. Inf. Sci. (2023)
Keyphrases
</>
formal analysis
formal logic
formal methods
multi party non repudiation
predicate logic
trusted third party
description logics
artificial intelligence
knowledge based systems
ban logic
logic programming
agent model
signature scheme
formal specification
automated reasoning
software development
design theory