Modeling and Reasoning About Authentication in Application
Qingguo Zhang · Journal of Chinese Computer Systems · 2012
Logical reasoning is an important method for studying authentication;however existing researches mainly focused on authentication mechanisms and authentication protocols,and did not take into account application environment.This paper presents formalized description for authentication in application through the introduction of authentication domain.Meanwhile a predicate-based approach on modeling and reasoning authentication is proposed.This approach defines seven predicates,reduces eight inference rules and presents a four-step reasoning method.Three examples are given to demonstrate how to use this approach.