Cargando…

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical algebraic specification language. The properties c...

Descripción completa

Detalles Bibliográficos
Autores principales:	Tran, Duong Dinh, Wai Mon, Thet, Ogata, Kazuhiro
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	PeerJ Inc. 2023
Materias:	Cryptography
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10280648/ https://www.ncbi.nlm.nih.gov/pubmed/37346581 http://dx.doi.org/10.7717/peerj-cs.1284

Ejemplares similares

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
por: Tran, Duong Dinh, et al.
Publicado: (2023)

Modelling and verification of post-quantum key encapsulation mechanisms using Maude
por: García, Víctor, et al.
Publicado: (2023)

A new secure authentication based distance bounding protocol
por: Sultan, Ahmed Raheeq, et al.
Publicado: (2021)

A secure key dependent dynamic substitution method for symmetric cryptosystems
por: Ejaz, Aisha, et al.
Publicado: (2021)

A comprehensive review of security threats and solutions for the online social networks industry
por: Nawaz, Naeem A., et al.
Publicado: (2023)

Attribute based honey encryption algorithm for securing big data: Hadoop distributed file system perspective
por: Kapil, Gayatri, et al.
Publicado: (2020)

Indistinguishability under adaptive chosen-ciphertext attack secure double-NTRU-based key encapsulation mechanism
por: Seyhan, Kübra, et al.
Publicado: (2023)

Double layer steganography technique using DNA sequences and images
por: Aljahdali, Asia Othman, et al.
Publicado: (2023)

An anti-collusion attack defense method for physical layer key generation scheme based on transmission delay
por: Wang, Xiaowen, et al.
Publicado: (2023)

Accelerated implementation for testing IID assumption of NIST SP 800-90B using GPU
por: Kim, Yewon, et al.
Publicado: (2021)

Efficient steganalysis using convolutional auto encoder network to ensure original image quality
por: Ayaluri, Mallikarjuna Reddy, et al.
Publicado: (2021)

A survey on server-based electronic identification and signature schemes to improve eIDAS: with a new proposal for Turkey
por: Erdogan, Ozgun, et al.
Publicado: (2021)

LSB-based pre-embedding video steganography with rotating & shifting poly-pattern block matrix
por: Hacimurtazaoglu, Murat, et al.
Publicado: (2022)

A novel multi-stage distributed authentication scheme for smart meter communication
por: Hegde, Manjunath, et al.
Publicado: (2021)

Distributed ledger technology based robust access control and real-time synchronization for consumer electronics
por: Akhtar, Mohd Majid, et al.
Publicado: (2021)

Augmenting the technology acceptance model with trust model for the initial adoption of a blockchain-based system
por: Shrestha, Ajay K., et al.
Publicado: (2021)

A novel systematic byte substitution method to design strong bijective substitution box (S-box) using piece-wise-linear chaotic map
por: Ali, Asim, et al.
Publicado: (2022)

Privacy-preserving k-NN interpolation over two encrypted databases
por: Osmanoglu, Murat, et al.
Publicado: (2022)

SABMIS: sparse approximation based blind multi-image steganography scheme
por: Agrawal, Rohit, et al.
Publicado: (2022)

A new hybrid method combining search and direct based construction ideas to generate all 4 × 4 involutory maximum distance separable (MDS) matrices over binary field extensions
por: Tuncay, Gökhan, et al.
Publicado: (2023)

Natural differential privacy—a perspective on protection guarantees
por: Altman, Micah, et al.
Publicado: (2023)

A message recovery attack on multivariate polynomial trapdoor function
por: Ali, Rashid, et al.
Publicado: (2023)

Performance of the Transport Layer Security Handshake Over 6TiSCH
por: Claeys, Timothy, et al.
Publicado: (2021)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

Dense sphere packings: a blueprint for formal proofs
por: Hales, Thomas
Publicado: (2012)

Formal Proof of the Group Law for Edwards Elliptic Curves
por: Hales, Thomas, et al.
Publicado: (2020)

Proof That Chronic Lyme Disease Exists
por: Cameron, Daniel J.
Publicado: (2010)

The Proofs of the Existence of a Phthisical Contagion
por: Smith, R. Shingleton
Publicado: (1883)

SDR Proof-of-Concept of Full-Duplex Jamming for Enhanced Physical Layer Security
por: Silva, André, et al.
Publicado: (2021)

A formal proof and simple explanation of the QuickXplain algorithm
por: Rodler, Patrick
Publicado: (2022)

Experimental proof of the existence of the A$_{1}$ meson
por: Daum, C, et al.
Publicado: (1979)

The scent of a handshake
por: Semin, Gün R, et al.
Publicado: (2015)

Deployment of Attention on Handshakes
por: Shen, Mowei, et al.
Publicado: (2016)

The bully-proof workplace: essential strategies, tips, and scripts for dealing with the office sociopath
por: Dean, Peter J, et al.
Publicado: (2017)

Guidelines for Robot-to-Human Handshake From the Movement Nuances in Human-to-Human Handshake
por: Cabibihan, John-John, et al.
Publicado: (2022)

Highly Automated Formal Proofs over Memory Usage of Assembly Code
por: Verbeek, Freek, et al.
Publicado: (2020)

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
por: Duguma, Daniel Gerbi, et al.
Publicado: (2021)

Formal verification - Robust and efficient code: Introduction to Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Formal Verification - Robust and Efficient code: Why Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

Numerical verification methods and computer-assisted proofs for partial differential equations
por: Nakao, Mitsuhiro T, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_psga9lovbjb7hv8hk82jhidlve