Results 111 to 120 of about 96,237 (302)

Integrating Systems Methodologies for Australian Undersea Surveillance: A Systematic Literature Review

Systems Engineering, EarlyView.
ABSTRACT Australia is a maritime nation, relying on access to its surrounding oceans for its economy and security. The Royal Australian Navy conducts undersea surveillance to monitor this vital maritime environment and gain insight into activities beneath the ocean's surface.
Timothy J. Milledge, Biswajeet Pradhan, Nagesh Shukla   +2 more
wiley   +1 more source

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

IEEE Access
The formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa   +3 more
doaj   +1 more source

Composable security in relativistic quantum cryptography

New Journal of Physics, 2019
Relativistic protocols have been proposed to overcome certain impossibility results in classical and quantum cryptography. In such a setting, one takes the location of honest players into account, and uses the signalling limit given by the speed of light
V Vilasini, Christopher Portmann, Lídia del Rio   +2 more
doaj   +1 more source

Automated Cryptographic Analysis of the Pedersen Commitment Scheme [PDF]

, 2017
Aiming for strong security assurance, recently there has been an increasing interest in formal verification of cryptographic constructions. This paper presents a mechanised formal verification of the popular Pedersen commitment protocol, proving its security properties of correctness, perfect hiding, and computational binding.
arxiv   +1 more source

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols

Electronic Notes in Theoretical Computer Science, 2007
AbstractWhen modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It has been established that the traditional scheduler needs to be carefully calibrated in order to more accurately reflect the intruder's capabilities for controlling ...
John Mullins, Srečko Brlek, Sardaouna Hamadou   +2 more
openaire   +3 more sources

Automatic Approximation for the Verification of Cryptographic Protocols [PDF]

, 2003
This paper presents an approximation function developed for the verification of cryptographic protocols. The main properties of this approximation are that it can be build automatically and its computation is guaranteed to terminate unlike the Genet and Klay's one.
Oehl, Frédéric, Cécé, Gérard, Kouchnarenko, Olga, Sinclair, David   +3 more
openaire   +5 more sources

Data privacy model using blockchain reinforcement federated learning approach for scalable internet of medical things

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract Internet of Medical Things (IoMT) has typical advancements in the healthcare sector with rapid potential proof for decentralised communication systems that have been applied for collecting and monitoring COVID‐19 patient data. Machine Learning algorithms typically use the risk score of each patient based on risk factors, which could help ...
Chandramohan Dhasaratha, Mohammad Kamrul Hasan, Shayla Islam, Shailesh Khapre, Salwani Abdullah, Taher M. Ghazal, Ahmed Ibrahim Alzahrani, Nasser Alalwan, Nguyen Vo, Md Akhtaruzzaman   +9 more
wiley   +1 more source

A Quick Glance at Quantum Cryptography [PDF]

arXiv, 1998
The recent application of the principles of quantum mechanics to cryptography has led to a remarkable new dimension in secret communication. As a result of these new developments, it is now possible to construct cryptographic communication systems which detect unauthorized eavesdropping should it occur, and which give a guarantee of no eavesdropping ...
arxiv  

A secured cloud‐medical data sharing with A‐BRSA and Salp ‐Ant Lion Optimisation Algorithm

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract Sharing medical data among healthcare providers, researchers, and patients is crucial for efficient healthcare services. Cloud‐assisted smart healthcare (s‐healthcare) systems have made it easier to store EHRs effectively. However, the traditional encryption algorithms used to secure this data can be vulnerable to attacks if the encryption key
Adel Binbusayyis, Abed Alanazi, Shtwai Alsubai, Areej Alasiry, Mehrez Marzougui, Abdullah Alqahtani, Mohemmed Sha, Muhammad Aslam   +7 more
wiley   +1 more source

Enabling pandemic‐resilient healthcare: Narrowband Internet of Things and edge intelligence for real‐time monitoring

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract The Internet of Things (IoT) in deploying robotic sprayers for pandemic‐associated disinfection and monitoring has garnered significant attention in recent research. The authors introduce a novel architectural framework designed to interconnect smart monitoring robotic devices within healthcare facilities using narrowband Internet of Things ...
Md Motaharul Islam, Mohammad Kamrul Hasan, Shayla Islam, Mohammed Balfaqih, Ahmed Ibrahim Alzahrani, Nasser Alalwan, Nurhizam Safie, Zaheed Ahmed Bhuiyan, Rahul Thakkar, Taher M. Ghazal   +9 more
wiley   +1 more source