Results 231 to 240 of about 2,008,833 (270)
Security of LoRaWAN v1.1 in Backward Compatibility Scenarios
Abstract We present security vulnerabilities of LoRaWAN v1.1 in backward compatibility scenarios and propose countermeasures. Novel low-power wireless communication technologies are continuously introduced into the IoT ecosystem, while the existing ones continue their evolution by adding new features and fixing known problems. Since most of IoT-based
Ethiopia Nigussie, Tahsin C M Donmez
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Geometric Range Search on Encrypted Data With Forward/Backward Security
IEEE Transactions on Dependable and Secure Computing, 2022This paper presents two dynamic symmetric searchable encryption schemes for geometric range search. Our constructions are the first to provide forward/backward security in the context of SSE-based schemes supporting geometric range search. Besides, we define a security notion called content privacy.
Joseph K. Liu +2 more
exaly +2 more sources
Lightweight RFID authentication with forward and backward security
ACM Transactions on Information and System Security, 2011We propose a lightweight RFID authentication protocol that supports forward and backward security. The only cryptographic mechanism that this protocol uses is a pseudorandom number generator (PRNG) that is shared with the backend Server. Authentication is achieved by exchanging a few numbers (3 or 5) drawn from the PRNG.
Mike Burmester, Jorge Munilla
exaly +3 more sources
Geometric Range Searchable Encryption with Forward and Backward Security
Lecture Notes in Computer Science, 2022Chungen Xu
exaly +2 more sources
Bestie: Very Practical Searchable Encryption with Forward and Backward Security
Lecture Notes in Computer Science, 2021Dynamic searchable symmetric-key encryption (DSSE) is a promising crypto-tool that enables secure keyword searching over dynamically added or deleted ciphertexts. Currently, many works on DSSE devote their efforts to obtaining forward and backward security and practical performance.
Yubo Zheng, Willy Susilo, Hai Jin
exaly +2 more sources
Using Backward Induction Techniques in (Timed) Security Protocols Verification [PDF]
This paper shows a new way of automatic verification of properties of untimed and timed security protocols. To do this we use a modified version of previously introduced formal model based on a network of synchronized (timed) automata that expreses behaviour and distributed knowledge of users during protocol executions.
Olga Siedlecka-Lamch +1 more
exaly +4 more sources
Forward and backward secure keyword search with flexible keyword shielding
Information Sciences, 2021zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhijun Li 0011 +4 more
openaire +1 more source
Updatable ElGamal Encryption Scheme with Forward and Backward Security for Cloud Storage
Communications in Computer and Information Science, 2022Baocang Wang, Yuanju Ma
exaly +2 more sources
On backward-style verification for timed anonymity of security protocols
2016 IEEE 5th Global Conference on Consumer Electronics, 2016Trace anonymity is an extension of the formulation of anonymity by Schneider and Sidiropoulos. To prove the trace anonymity of infinite-state or unbounded systems, we have introduced proof techniques in which we find a binary relation called an anonymous simulation.
Nobuhiro Ito
exaly +2 more sources
VoIP Secure Communication Protocol satisfying Backward Compatibility
2007 Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007Several VoIP security protocols have been standardized for preventing many VoIP threats. But since several VoIP carriers have different VoIP protocols, end-to-end VoIP secure communication can not be possible. Also when initiator using secure VoIP phone wants a secure communication with responder using non-VoIP phone such as PSTN phone, or cellular ...
Joongman Kim +3 more
openaire +2 more sources

