An Improved Securer and Efficient Nonce-Based Authentication Scheme with Token-Update

Liao, Chiu-Hsiung; Wang, Ching-Te; Chen, Hon-Chan

doi:10.15388/informatica.2010.293

Cited by 2 publications

(2 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, the proposed mechanism provides extensibility. Audit: When authorized users possess the same rights to modify one specific document, the document owner or the system can trace who modifies it in the designed mechanism with a proper user authentication protocol (Chang et al, 2013;Liao et al, 2010). For audit, each user first registers at the system and needs to be authenticated to login to the system.…”

Section: Further Discussionmentioning

confidence: 99%

Flexible Access Control over Verifiable Cloud Computing Services with Provable Security

Chang

2015

Informatica

View full text Add to dashboard Cite

This paper proposes an access control mechanism of verifiable cloud computing services using chameleon hashing and Diffie-Hellman key exchange protocol. By this mechanism, an entity can apply for cloud computing services and he can authorize other users to access granted data or services. When an authorized user or entity wants to access cloud computing services, he can authenticate the cloud computing service provider. Moreover, no entity secret will be revealed by data kept by cloud servers such that security and cost saving can be both ensured. Security proof under the simulation paradigm is also given.

show abstract

Section: Further Discussionmentioning

confidence: 99%

Flexible Access Control over Verifiable Cloud Computing Services with Provable Security

Chang

2015

Informatica

View full text Add to dashboard Cite

show abstract

“…The wide applications of communication services have accelerated the researches of various new or improved protocols (e.g., Liao et al, 2010;Tseng et al, 2010 andYoon andYoo, 2010). The correct implementation of a protocol must conform to the corresponding protocol specification, because the protocol conformance is one of basic prerequisites for errorless interactions among communicating entities.…”

Section: Introductionmentioning

confidence: 99%

A DFSM-Based Protocol Conformance Testing and Diagnosing Method

et al. 2011

View full text Add to dashboard Cite

In the protocol conformance testing, many existing test methods can effectively detect the possible faults of the implementation under test. However, it is difficult to diagnose the found faults in terms of the test results. This paper presents a diagnosable input/output (DIO) sequence, to differentiate a state from other states under a given condition. We further propose a two-tier protocol conformance testing and diagnosing method based on DIO sequences. The proposed method can effectively detect and diagnose the possible faults of the implementation of a protocol.

show abstract

An Improved Securer and Efficient Nonce-Based Authentication Scheme with Token-Update

Cited by 2 publications

References 19 publications

Flexible Access Control over Verifiable Cloud Computing Services with Provable Security

Flexible Access Control over Verifiable Cloud Computing Services with Provable Security

A DFSM-Based Protocol Conformance Testing and Diagnosing Method

Contact Info

Product

Resources

About