Results 1 to 10 of about 25,005,250 (309)
Security Evaluation and Improvement of the Extended Protocol EIBsec for KNX/EIB
Information, 2023 The European Installation Bus(EIB) protocol, also known as KNX/EIB, is widely used in building and home automation. An extension of the KNX/EIB protocol, EIBsec, is primarily designed to meet the requirements for data transmission security in distributed
Tao Feng, Bugang Zhang
doaj +1 more source
CoRR, 2023 We describe a formal correctness proof of RANKING, an online algorithm for online bipartite matching. An outcome of our formalisation is that it shows that there is a gap in all combinatorial proofs of the algorithm. Filling that gap constituted the majority of the effort which went into this work.
Abdulaziz, Mohammad, Madlener, Christoph
openaire +6 more sources
A Formal Analysis of Boomerang Probabilities
IACR Transactions on Symmetric Cryptology, 2022 In the past 20 years since their conception, boomerang attacks have become an important tool in the cryptanalysis of block ciphers. In the classical estimate of their success probability, assumptions are made about the independence of the underlying differential trails that are not well-founded.
Andreas B. Kidmose, Tyge Tiessen
openaire +3 more sources
Android complex information flow analysis method based on communicating sequential process
网络与信息安全学报, 2021 Android privacy leak problem is becoming more and more serious.Information flow analysis is a main method to find privacy leak.Traditional information flow analysis methods mainly focus on single accessibility analysis, which is difficult to analyze ...
Zhanhui YUAN +4 more
doaj +3 more sources
RDAF-IIoT: Reliable Device-Access Framework for the Industrial Internet of Things
Mathematics, 2023 The Internet of Things (IoT) has experienced significant growth and is now a fundamental part of the next-generation Internet. Alongside improving daily life, IoT devices generate and collect vast amounts of data that can be leveraged by AI-enabled big ...
Hisham Alasmary
doaj +1 more source
Formal analysis of trace conditioning [PDF]
Cognitive Systems Research, 2007 In the literature classical conditioning is usually described and analysed informally. If formalisation is used, this is often based on mathematical models based on difference or differential equations. This paper explores a formal description and analysis of the process of trace conditioning, based on logical specification and analysis methods of ...
Tibor Bosse +4 more
openaire +4 more sources
Formal Analysis of Optical Systems [PDF]
Mathematics in Computer Science, 2014 Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-
Sanaz Khan Afshar +6 more
openaire +4 more sources
The Myth of Huitzilopochtli: Diachronic and structural interpretation
Etnoantropološki Problemi, 2015 The paper investigates the myth about the birth of Huicilopochtli, the deity considered by the Spanish conquistadors to be the supreme god of the Aztecs.
Igor Seke
doaj +1 more source
A Formally-Verified Alias Analysis [PDF]
, 2012 This paper reports on the formalization and proof of soundness, using the Coq proof assistant, of an alias analysis: a static analysis that approximates the flow of pointer values. The alias analysis considered is of the points-to kind and is intraprocedural, flow-sensitive, field-sensitive, and untyped. Its soundness proof follows the general style of
Robert, Valentin, Leroy, Xavier
openaire +3 more sources
A Temporal Blockchain: A Formal Analysis [PDF]
2016 International Conference on Collaboration Technologies and Systems (CTS), 2016 This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability. We propose a temporal rolling blockchain which solves the problem of its current exponential growth, instead replacing it with a constant fixed-size blockchain.
Dennis, Richard +2 more
openaire +4 more sources