Results 241 to 249 of about 4,060 (249)
Some of the next articles are maybe not open access.
Knowledge in security protocols: an operational semantics for BAN logic
1999Bleeker, A.M., Meertens, L.G.L.T.
openaire +1 more source
BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult
2006openaire +1 more source
A LaTeX package for the Aspen security protocol notation and BAN logic
TUGboatopenaire +1 more source
The logic for US ratification of the Comprehensive Nuclear Test Ban Treaty
Bulletin of the Atomic Scientistsopenaire +1 more source
Formal Verification of Consumer Remote Sim Provisioning Common Mutual Authentication using BAN Logic
Ilsun You, Yongho Koexaly
Formal Verification of 5GAKA-LCCO Protocol Supporting Forward Secrecy: Through Expanded BAN Logic
Gunwoo Kim, Yongho Ko, Ilsun Youopenaire +1 more source
From Banning the Bag to Saving the Turtles: Colliding Logics and Multi-Level Changes in Markets
2019Scaraboto, Daiane +2 more
openaire +1 more source