Results 281 to 285 of about 5,130 (285)
Some of the next articles are maybe not open access.
BAN Logic is not 'Sound', Constructing Epistemic Logics for Security is Difficult
2006openaire +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 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