Results 201 to 210 of about 4,060 (249)

Smoke-free legislation impact on the hospitality sector in the Republic of Georgia. [PDF]

Tob Control
Bakhturidze GD, Popova L, Kirpich A, Berg CJ, Eriksen MP.   +4 more
europepmc   +1 more source

[Policy logic and multiple challenges of meal assistance services for older adults under the goal of healthy aging]. [PDF]

Beijing Da Xue Xue Bao Yi Xue Ban
Pan W, Chen L, Zhang X, Zhang H, Min H, Lei X, Sun X, Zhang X.   +7 more
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

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 ...
Okada Mitsuhiro
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

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

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

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