Results 241 to 250 of about 18,589 (276)

Fast automatic synthesis of security protocols using backward search [PDF]

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003
An automatic security protocol generator is proposed that used logic-based synthesis rules to guide it in a backward search for suitable protocols from protocol goals. The approach taken is unlike existing automatic protocol generators which typically carry out a forward search for candidate protocols from the protocol assumptions.
Hongbin Zhou, Simon N. Foley
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Bestie: Very Practical Searchable Encryption with Forward and Backward Security

Lecture Notes in Computer Science, 2021
Dynamic 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.
Willy Susilo, Hai Jin
exaly   +2 more sources

On backward-style verification for timed anonymity of security protocols

2016 IEEE 5th Global Conference on Consumer Electronics, 2016
Trace 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 Itô, Yoshinobu Kawabe
exaly   +2 more sources

‘The Backward Will Be Beaten’: Historical Lesson, Security, and Nationalism in China [PDF]

Journal of Contemporary China, 2020
What has China learned from the ‘Century of Humiliation’? In China’s mnemonic practices, ‘the backward will be beaten,’ which attributes the nation’s humiliation experiences to economic, military, ...
Wang, Yi; id_orcid
openaire   +2 more sources

Backward Cloud Based Elimination of Uncertainty in Security Assessment Parameters

2010 International Conference on Electrical and Control Engineering, 2010
The uncertainty in selection of security assessment parameters heavily affects the accuracy and credibility of the assessment results. The method of selection based on opinion of group experts lacks the ability of describing the uncertainty in the selection procedure, and the method based on interval matrixes does not measure the degree of credibility ...
Qiusheng Zheng, Bing Xia
exaly   +2 more sources

Geometric Range Searchable Encryption with Forward and Backward Security

Lecture Notes in Computer Science, 2022
Chungen Xu, Zhang Pan, Xu Chungen
exaly   +2 more sources

Security Defense Strategy for Dispersed Computing Based on Backward Mean Field Games

Concurrency Computation Practice and Experience
ABSTRACT Deploying defense strategies in dispersed computing consumes limited resources, a challenge exacerbated when nodes have only partial information about the system state. This article proposes a security defense strategy for dispersed computing based on Backward Mean Field Games.
Naifu Deng, Yidong Jia
exaly   +2 more sources

Updatable ElGamal Encryption Scheme with Forward and Backward Security for Cloud Storage

Communications in Computer and Information Science, 2022
Wang Baocang
exaly   +2 more sources

A Forward-Secure Signature with Backward-Secure Detection. [PDF]

IACR Cryptol. ePrint Arch., 2007
This paper enhances the security of Abdalla and Reyzin’s forwardsecure signature scheme with backward-secure detection. In the proposed scheme, we embeded the hash-chain into the forward-secure signature scheme.
Dai-Rui Lin, Chih-I Wang
openaire   +3 more sources

Efficient Wildcard Searchable Symmetric Encryption with Forward and Backward Security

Lecture Notes in Computer Science
Ye Su, Wenting Shen
exaly   +2 more sources