Results 261 to 270 of about 5,130 (285)

Security Analysis Based on BAN Logic

2020
Many quantum authentication schemes have been designed according to quantum key distribution. Scheme security is proved heuristically by employing attack strategies such as intercept-measure-resend attack, entanglement-measure attack, etc. In this chapter, we introduce security analysis based on BAN logic. In contrast to analyzing protocols with common
Tao Shang, Jianwei Liu
openaire   +1 more source

The Logic of Banning Nuclear Weapons

Survival, 2017
If the international community is ever going to get rid of nuclear weapons, it must start by clearly rejecting them.
openaire   +1 more source

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

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 Consumer Remote Sim Provisioning Common Mutual Authentication using BAN Logic

2025 1st International Conference on Consumer Technology (ICCT-Pacific)
Yongho Ko, Bonam Kim, Ilsun You
exaly   +2 more sources

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

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