نتایج جستجو برای: cryptographic protocols

تعداد نتایج: 116404  

Journal: :Ukrainian Scientific Journal of Information Security 2019

Journal: :Journal of Computer and Communications 2016

Journal: :IEEE Transactions on Software Engineering 1996

Journal: :Mathematical and Computer Modelling 2007

Nowadays, achieving desirable and stable security in networks with national and organizational scope and even in sensitive information systems, should be based on a systematic and comprehensive method and should be done step by step. Cryptography is the most important mechanism for securing information. a cryptographic system consists of three main components: cryptographic algorithms, cryptogr...

Journal: :Journal of Computer Security 2021

Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs generated Isabelle/HOL. human effort required to analyze a protocol as little week or two, yielding proof script takes few minutes run. Protocols inductively defined sets of traces. A trace...

Journal: :International Journal of Information Security 2008

Journal: :International Journal of Quantum Information 2015

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید