Results 41 to 50 of about 5,130 (285)
An Alternate Explanation of two BAN-logic “failures” [PDF]
Boyd and Mao ("On a Limitation of BAN Logic", in these proceedings) suggest that it is easy to use the authentication logic of Burrows, Abadi and Needham to approve protocols that are in practice unsound, and present two examples. We illustrate that the problem in the first example can be traced to a violation of pre-conditions in the BAN analysis ...
openaire +1 more source
Adult stem cell therapy requires more than high in vitro potency. This review proposes a systems framework in which cell‐intrinsic programs, instructive microenvironmental cues, and pre‐/post‐delivery engineering are co‐designed under standardized translational rules.
Soo‐Rim Kim +2 more
wiley +1 more source
Design of Secure Handover Authentication Scheme for Urban Air Mobility Environments
Urban air mobility (UAM) is a future air transportation system to solve the air pollution and movement efficiency problems of the traditional mobility system.
Deokkyu Kwon +6 more
doaj +1 more source
Symbols and corresponding notions in the BAN logic.
Symbols and corresponding notions in the BAN logic.
Li Yang (6520), Zhiming Zheng (736314)
core +1 more source
Understanding Egg Price Volatility and Policy Implications in the U.S. With Machine Learning
ABSTRACT Eggs are an inexpensive and sustainable source of proteins, but volatility in the U.S. egg prices has intensified in recent years, raising concerns over food affordability and market stability. This study examines the drivers of U.S. egg price dynamics over 2004–2025 using a two‐stage framework that combines LASSO‐based variable selection with
Xuemei Zhao +3 more
wiley +1 more source
Cyberbullying and Empathy in the Age of Hyperconnection: An Interdisciplinary Approach
Considering cyberbullying as a challenging frontier of analysis in the social sciences, we find ourselves today with the duty to analyze it within a much broader social context. Indeed, we must take into account the logic of exclusion, as a fact.
Vincenzo Auriemma +4 more
doaj +1 more source
On-chip optoelectronic logic gates operating in the telecom band
Optoelectronic Logic Gates at Communication ...
Qing Li (16911562) +19 more
core +1 more source
The Bitter Taste of Brazil's Temporary Import Ban on Robusta Coffee
ABSTRACT Brazil, a leading Robusta coffee producer and exporter, faced a significant drought in 2016–2017, which drastically reduced production and depleted stocks. Consequently, Brazil temporarily permitted the import of one million 60‐kg bags of Robusta coffee in the spring 2017. An import ban was imposed shortly afterward due to lobbying by domestic
Hanifi Otgun +2 more
wiley +1 more source
A Secure RFID Delegation Authentication Scheme [PDF]
Aiming at the situation of delegation in smart home,a secure authentication scheme is proposed,which constructs authentication protocols for general scene and delegation scene based on Chebeshev chaotic mapping.Since the Chebeshev chaotic mapping owns ...
ZHOU Yousheng,LI Yuan
doaj +1 more source
Uji Kelayakan Penggantian Ban pada Truk Jasa Angkutan Darat menggunakan Fuzzy Logic
Tujuan dari penelitian ini adalah untuk membantu pengambilan keputusan dalam penggantian ban truk pada sebuah jasa angkuta n darat di Surabaya.
Alexander, edwin, Hartanto, andre
core +1 more source

