Results 71 to 80 of about 5,130 (285)
Method of designing security protocol for remote attestation
By the introduction of the natural law of survival of the fittest,an improved method of automatically designing cryptographic protocols was proposed.This method regards BAN-like logic as a basic tool to describe them,construct a fitness function to ...
YU Rong-wei1, WANG Li-na1, KUANG Bo1
doaj +2 more sources
Wireless sensor networks (WSN) are composed of multiple sensor nodes with limited storage, computation, power, and communication capabilities and are widely used in various fields such as banks, hospitals, institutes to national defense, research, and so
SungJin Yu, YoungHo Park
doaj +1 more source
Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
A Lightweight and Secure Anonymity Preserving Protocol for WBAN
In the medical fields, wearable body area sensors network (WBAN) is playing a major role in maintaining user health by providing convenience service for the patient and doctors.
Abdullah M. Almuhaideb +1 more
doaj +1 more source
BAN Logic is a well-known formalism for the analysis of protocols used for authentication in distributed systems. This formalism deals with the evolution of beliefs of trustworthy principals executing an authentication protocol.
Anish Mathuria (20156562)
core
Interpreting algorithmic information cues: User sensemaking of search autocomplete moderation
Abstract Autocomplete is a search feature that algorithmically generates information cues for any keywords entered in the search bar. While this feature makes the search process more efficient, it also frequently produces biased, misleading, offensive, or otherwise inappropriate suggestions.
Shagun Jhaver
wiley +1 more source
Epistemic logic, Cryptography, Logical Omniscience, BAN Logic
BAN logic is an epistemic logic for verifying cryptographic protocols. While BAN has been quite successful from a practical point of view, the semantics of the epistemic modality is unclear.
Cohen, Mika,, Dam, Mads,
core
Abstract This article examines how national education in Hong Kong functions as a contested arena in which state and non‐state actors struggle over the meaning of citizenship, identity and schooling. Using inductive frame analysis of 319 news articles (2020–2025) from five Chinese‐ and English‐language outlets, it identifies diagnostic, prognostic and ...
Jason Cong Lin
wiley +1 more source
Analisis Protokol CryptO-0N2 dengan Menggunakan Scyther Tool
Pemilihan Umum (pemilu) di Indonesia merupakan peristiwa yang sangat penting mengingat Indonesia merupakan negara yang menganut paham demokrasi. Metode yang digunakan dalam pemilihan umum di Indonesia adalah dengan menggunakan kertas suara yang ditandai
Esti Rahmawati Agustina +2 more
doaj +1 more source
Abstract This study examines the under‐theorized political role and identity of Chinese international students, who emerge as significant actors caught between U.S. soft power ambitions and rising geopolitical suspicion. Amid escalating U.S.‐China tensions, these students are forced to confront environments shaped by competing geopolitical discourses ...
Jing Yu
wiley +1 more source

