Extending BAN logic for reasoning with modern PKI-based protocols
RHC Yap - 2008 IFIP International Conference on Network …, 2008 - ieeexplore.ieee.org
BAN logic is a well-known authentication logic which, despite other more recent logics and
formal methods, remains popular with many protocol designers. BAN Logic however does …
formal methods, remains popular with many protocol designers. BAN Logic however does …
[PDF][PDF] “Where you are” Based Authentication: An Improved Security Protocol Using BAN Logic
Wider use of on-line transactions has enabled internet identity thieves and computer
hackerssomeone who breaks computer and network security-to carry out their work …
hackerssomeone who breaks computer and network security-to carry out their work …
Rational exchange protocols
A Alcaide Raya - 2008 - e-archivo.uc3m.es
An exchange protocol describes a sequence of steps by which several entities are capable
of exchanging certain pieces of information in a particular context. Rational {exchange …
of exchanging certain pieces of information in a particular context. Rational {exchange …