Results 241 to 250 of about 5,130 (285)

Globalization and the Politics of International Finance: The Stiglitz Verdict [PDF]

Basu, Kaushik
core  

Digital Activism, Legal Reform, and Islamic Feminist Resistance in Saudi Arabia

Zakarriya J.
europepmc   +1 more source

Improved Kerberos Security Protocol Evaluation using Modified BAN Logic

2010 10th IEEE International Conference on Computer and Information Technology, 2010
Online communication offers organizations greater efficiency. However, online processes increase the threat level during message transfer. This necessitates researchers to develop and improve security protocols in order to enhance the security of communication lines.
Nabih T. Abdelmajid, M. Alamgir Hossain, S. Shepherd, Khaled W. Mahmoud   +3 more
exaly   +3 more sources

On BAN Logics for Industrial Security Protocols

, 2002
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters for the addition of appropriate constructs and rules. We argue that, although a semantical foundation of the formalism is lacking, BAN logic provides an intuitive and ...
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink   +2 more
core   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Formal Analysis for Security of Otway-Rees Protocol with BAN Logic

2009 First International Workshop on Database Technology and Applications, 2009
BAN logic can prove whether a protocol can reach expected target and find some flaws in the protocol. The paper analyzed constitute of BAN logic and analysis steps. On the basis of the above work, BAN logic was used to construct an ideal model of the Otway-Rees protocol and the security of the protocol was analyzed with the initial hypothesis and the ...
Qin Zhiguang
exaly   +2 more sources

Extending BAN Logic for Reasoning with Modern PKI-Based Protocols

2008 IFIP International Conference on Network and Parallel Computing, 2008
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 not properly deal with the issues of certificates and the use of public key infrastructure (PKI).
Roland H C Yap
exaly   +2 more sources

Security Analysis of the Kerberos Protocol Using BAN Logic

2009 Fifth International Conference on Information Assurance and Security, 2009
Kerberos protocol is a famous identity authentication protocol and it is widely used in the network as a standard. But there is still not a strict proof of it base on the Formal method. That is very nervous for the users. So a security analysis of the Kerberos protocol using BAN logic is proposed in this paper, and the reliability, practicability and ...
Kai Fan 0001, Hui Li 0006, Yue Wang 0043
exaly   +2 more sources

An Improved Security Protocol Formal Analysis with BAN Logic

2009 International Conference on Electronic Commerce and Business Intelligence, 2009
BAN logic can prove whether a protocol can reach expected target and find some flaws in the protocol. The paper analyzed constitute of BAN logic and analysis steps. On the basis of the above work, BAN logic was used to construct an ideal model of the improved NSSK protocol and the security of the NSSK protocol was analyzed with the initial hypothesis ...
Qin Zhiguang
exaly   +2 more sources

Security analysis of FWAI with BAN-like logic

2011 International Conference on Electric Information and Control Engineering, 2011
A novel and efficient WLAN fast authentication Protocol (FWAI) is proposed and compared with IEEE 802111i and WAPI about their security and performance. Then FWAI is analyzed with BAN-like logic on the security. Results show that FWAI achieves its security properties and there are no security vulnerabilities or redundancy in it.
Yu-juan Zhao, Xing-qiao Qin, Hui Wang, Jun Meng   +3 more
exaly   +2 more sources

A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic

Lecture Notes in Computer Science, 2003
A process following a security protocol is represented by a formal proof (of a fragment of linear logic based on the multiset rewriting model), modifying the idea by Cervesato-Durgin-Lincoln-Mitchell-Scedrov [4], while the (modified) BAN logic (which was first introduced by Burrows-Abadi-Needham [2]) is used as an evaluation semantics on security ...
Koji Hasebe, Mitsuhiro Okada, Okada Mitsuhiro   +2 more
exaly   +2 more sources