Results 101 to 110 of about 684,168 (248)
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange [PDF]
, 2017 International audienceIn this paper, we provide the first methodology for reasoning about liveness properties of cryptographic protocols in a machine-assisted manner without imposing any artificial, finite bounds on the protocols and execution models. To
Michael Backes +11 more
core +1 more source
ON THE CRYPTOGRAPHIC PROTOCOL OF WAP WTLS
Far East Journal of Dynamical Systems, 2003 In general, cryptographic protocols are designed for entity authentication and key establishment. The WTLS handshake protocol is a cryptographic protocol that performs authentication and key establishment for secure WAP communication, and an AKC protocol including key authentication and confirmation of key possession.
Park, Kishik +4 more
openaire +2 more sources
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 +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 +2 more
doaj +1 more source
Formal verification of secure group communication protocols modelled in UML [PDF]
, 2010 The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah +9 more
core +1 more source
On Cryptographic Information Security in Cloud Infrastructures: PKI and IBE Methods
Безопасность информационных технологий, 2014 The application of cryptographic security methods in cloud infrastructure information security is analyzed. The cryptographic problems in cloudy infrastructures are chosen; the appropriate protocols are investigated; the appropriate mathematical problems
Konstantin Grigorevich Kogos +2 more
doaj
A Real-Time Performance Analysis Model for Cryptographic Protocols [PDF]
Journal of Systemics, Cybernetics and Informatics, 2012 Several encryption algorithms exist today for securing data in storage and transmission over network systems. The choice of encryption algorithms must weigh performance requirements against the call for protection of sensitive data.
Amos Olagunju, Jake Soenneker
doaj
Asia-Pacific Journal of Financial Studies, EarlyView.Abstract This study develops an explainable machine learning model to predict cryptocurrency delistings using Binance data. It combines quantitative indicators (price, volume) with qualitative data from real‐time news and Reddit. Latent Dirichlet Allocation (LDA) is used to extract topic trends and community reactions, which are transformed into time ...
Sungju Yang, Hunyeong Kwon
wiley +1 more source
Safe abstractions of data encodings in formal security protocol models [PDF]
, 2014 When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Journal of Management Studies, EarlyView.Abstract This essay argues that social media document (rather than fuel) the decline of political democracy while helping revive organizational democracy, including through ‘decentralized autonomous organizations’ (DAOs). Yet, despite giving everyone a voice and the ability to organize across borders, social media could over‐concentrate power if, in ...
J.P. Vergne
wiley +1 more source