Results 201 to 210 of about 4,054 (240)

Pavement policies: unraveling the Norwegian ban on skateboarding. [PDF]

Front Sports Act Living
Langseth T, Bergsgard NA.
europepmc   +1 more source

Problems associated with the ATC system of drug classification. [PDF]

Naunyn Schmiedebergs Arch Pharmacol
Bindel LJ, Seifert R.
europepmc   +1 more source

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

Zakarriya J.
europepmc   +1 more source

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 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

The Security Analysis on Otway-Rees Protocol Based on BAN Logic

2012 Fourth International Conference on Computational and Information Sciences, 2012
This paper analyzes the Otway-Rees protocol based on BAN logic after has introducing the BAN logic. It has verified that the BAN logic can be used formally and prove the correctness and security of the protocols, which indicates that BAN logic is an important tool for analyzing cryptographic protocols. The paper has established the ideal protocol model
Kening Liu, Junyao Ye, Yinglian Wang
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

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   +2 more sources

Security Analysis of OIAP Implementation Based on BAN Logic

2009 International Conference on Multimedia Information Networking and Security, 2009
In the specification of Trusted Platform Module (TPM), Object-Independent Authorization Protocol (OIAP) is the protocol which guarantees the security of the communication between TPM and its users. Nowadays, there are many TPM manufacturers having made their own TPM. However, some of the TPM manufacturers don't implement the TPM completely according to
Zhang Huanguo
exaly   +2 more sources