Results 221 to 230 of about 4,060 (249)

The Structure and Logic of the WMD Ban Regime

2005
The issue of how to eliminate weapons of mass destruction was a major feature of international politics at the end of the twentieth century. It was also an essential part of the debate about international relations theory. The ‘balance of terror’, the possibilities loosed by technology of weapons that could destroy all human life on earth provided an ...
Berhanykun Andemicael, John Mathiason
openaire   +1 more source

The study on the application of BAN logic in formal analysis of authentication protocols

Proceedings of the 7th international conference on Electronic commerce - ICEC '05, 2005
The authentication protocol is the most fundamental and critical issue in network security and safety system and BAN logic is the most important tool to have a formalization analysis of authentication protocols. This paper first attempts to illustrate the basic methods for BAN logic analysis protocols by making a comparative study between two ...
Jinghua Wen, Mei Zhang, Xiang Li
openaire   +1 more source

Secure Data Validation and Transmission in Cloud and IoT Through Ban Logic and KP-ABE

International Journal of Sensors, Wireless Communications and Control, 2022
Background: Cloud computing is a service that is being accelerating its growth in the field of information technology in recent years. Privacy and security are challenging issues for cloud users and providers. Obective: This work aims at ensuring secured validation of user and protects data during transmission for users in a public IoT-cloud ...
Narander Kumar, Jitendra Kumar Samriya
openaire   +1 more source

Humanitarian reframing of nuclear weapons and the logic of a ban

International Affairs, 2014
The achievement of past international treaties prohibiting anti-personnel mines and cluster munitions showed that unpropitious political situations for dealing with the effects of problematic weapons could be transformed into concrete, legally binding actions through humanitarian-inspired initiatives.
openaire   +1 more source

FORMAL VERIFICATION OF BUNDLE AUTHENTICATION MECHANISM IN OSGi SERVICE PLATFORM: BAN LOGIC

International Journal of Software Engineering and Knowledge Engineering, 2006
Security is critical in a home gateway environment. Robust secure mechanisms must be put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism.
Young-Gab Kim, Chang-Joo Moon, Dongwon Jeong, Doo-Kwon Baik   +3 more
openaire   +1 more source

The Swedish Ban on Corporal Punishment of Children in a Multi-Cultural Context – Conflicting Logics in the Social Services

SSRN Electronic Journal, 2018
Sweden was the first country in the world to introduce a prohibition against parental physical punishment of children, in 1979.
Pernilla Leviner, Tiziana Sardiello
openaire   +1 more source

A Security Analysis Approach for Secure Color-Code Key Exchange Protocol by Using BAN Logic

2020
In, 2016, the first secure color-code key exchange (SCCKE) protocol for secure mobile chat applications (MC APPs) was proposed by Hsing-Chung Chen. However, his analyses only use the mathematic proof. He did not analyze the security strength by using Burrows-Abedi-Needham logic (also known as the BAN logic).
Hsing-Chung Chen, Mosiur Rahaman, Cahya Damarjati   +2 more
openaire   +1 more source

One-Time Passwords: Security Analysis Using BAN Logic and Integrating with Smartcard Authentication

2003
In this paper we make a formal analysis of one-time password protocols using BAN logic and provide some guidelines to integrate securely one-time passwords with smartcard based authentication. We also propose some extensions to the BAN logic to facilitate analyzing hash chain based authentication protocols.
Kemal Bicakci, Nazife Baykal
openaire   +2 more sources

BAN Logic-Based Security Proof for Mobile OTP Authentication Scheme

2012
A Mobile One-Time Password (OTP) mechanism solves the password security problem that could result from reusing the same password multiple times. Eldefrawy et al., has presented a two-factor OTP-based authentication scheme using mobile phones which provides forward and infinite OTP generation using two nested hash functions.
Mohammed Saeed Alkatheiri, Mohamed Hamdy Eldefrawy, Muhammad Khurram Khan   +2 more
openaire   +1 more source

Secure and Efficient WBAN Authentication Protocols for Intra-BAN Tier

Journal of Sensor and Actuator Networks, 2022
Abdullah M Almuhaideb, Huda A Alghamdi
exaly