Results 91 to 100 of about 2,146,136 (293)
The Practice of Cryptographic Protocol Verification
Electronic Notes in Theoretical Computer Science, 2003 We analyze the complexity of verifying security protocols for finite ...
openaire +2 more sources
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
, 2013 Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes ...
Véronique Cortier +5 more
core +1 more source
AI &Innovation, EarlyView.ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury +2 more
wiley +1 more source
Criptografía ligera en dispositivos de identificación por radiofrecuencia- RFID [PDF]
, 2008 Esta tesis se centra en el estudio de la tecnología de identificación por radiofrecuencia (RFID), la cual puede ser considerada como una de las tecnologías más prometedoras dentro del área de la computación ubicua.
Peris López, Pedro
core
Business Strategy and the Environment, EarlyView.ABSTRACT This study analyzed Industry 4.0 (I4.0) technology applications in agribusiness and the role of strategic stakeholders, engagement methods, and other critical aspects data sharing, confidentiality, integrity, decision‐making, and sector‐specific requirements in promoting circularity.
Simone Sehnem +3 more
wiley +1 more source
Corporate Decarbonization via Technology and Management
Business Strategy and the Environment, EarlyView.ABSTRACT This study provides a comprehensive overview of key findings on decarbonization, advanced technologies, and management strategies, highlighting emerging themes shaping the field. Advanced technologies enhance carbon reduction through efficiency, real‐time monitoring, and optimizing resource optimization.
Heidy Montero‐Teran +2 more
wiley +1 more source
LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π-Calculus Extension Theory
IET Information SecurityThe π-calculus is a basic theory of mobile communication based on the notion of interaction, which, is aimed at analyzing and modeling the behaviors of communication processes in communicating and mobile systems, and is widely applied to the security ...
Fusheng Wu +3 more
doaj +1 more source
Privacy-Preserving Set Intersection Protocol Based on SM2 Oblivious Transfer
ComputersPrivate Set Intersection (PSI) is a fundamental cryptographic primitive in privacy-preserving computation and has been widely applied in federated learning, secure data sharing, and privacy-aware data analytics.
Zhibo Guan +7 more
doaj +1 more source
Dynamic Spillovers Between FinTech, Blockchain, and Green Finance: A Quantile Connectedness Approach
Business Strategy and the Environment, EarlyView.ABSTRACT This paper explores how financial innovation and environmental sustainability intersect by analyzing spillovers between FinTech, blockchain energy use, and green finance. Using a Quantile Vector Autoregression (QVAR) framework, we examine weekly data from 2018 to 2024 across 11 digital, environmental, and macro‐financial indices.
Mehmet Sahiner, Sisi Sung, James Devlin
wiley +1 more source
Model checking of trusted cryptographic module
Tongxin xuebao, 2010 The formal security analysis was given for the trusted cryptographic module according to the specification of the trusted cryptographic module using model checking tools. The flaws in the AP protocol were pointed and the solution was given.
CHEN Xiao-feng, FENG Deng-guo
doaj +2 more sources