Formal Analysis and Systematic Construction of Two-Factor Authentication Scheme (Short Paper) (English)
- New search for: Yang, G.
- New search for: Wong, D. S.
- New search for: Wang, H.
- New search for: Deng, X.
- New search for: Yang, G.
- New search for: Wong, D. S.
- New search for: Wang, H.
- New search for: Deng, X.
- New search for: Ning, Peng
- New search for: Qing, Sihan
- New search for: Li, Ninghui
In:
Information and communications security (ICICS 2006)
4307
;
82-91
;
2006
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Formal Analysis and Systematic Construction of Two-Factor Authentication Scheme (Short Paper)
-
Contributors:Yang, G. ( author ) / Wong, D. S. ( author ) / Wang, H. ( author ) / Deng, X. ( author ) / Ning, Peng / Qing, Sihan / Li, Ninghui
-
Conference:8th, Information and communications security (ICICS 2006) ; 2006 ; Raleigh, NC
-
Published in:Information and communications security (ICICS 2006) , 4307 ; 82-91LECTURE NOTES IN COMPUTER SCIENCE , 4307 ; 82-91
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2006-01-01
-
Size:10 pages
-
Remarks:International conference proceedings. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Strong and Robust RFID Authentication Enabling Perfect Ownership TransferLim, C. H. / Kwon, T. et al. | 2006
- 21
-
A Robust and Secure RFID-Based Pedigree System (Short Paper)Tan, C. C. / Li, Q. et al. | 2006
- 30
-
A Topological Condition for Solving Fair Exchange in Byzantine EnvironmentsGarbinato, B. / Rickebusch, I. et al. | 2006
- 50
-
A Security Analysis of the Precise Time Protocol (Short Paper)Tsang, J. / Beznosov, K. et al. | 2006
- 60
-
An Identity-Based Proxy Signature Scheme from PairingsShim, K.-A. et al. | 2006
- 72
-
Finding Compact Reliable Broadcast in Unknown Fixed-Identity Networks (Short Paper)Zhu, H. / Zhou, J. et al. | 2006
- 82
-
Formal Analysis and Systematic Construction of Two-Factor Authentication Scheme (Short Paper)Yang, G. / Wong, D. S. / Wang, H. / Deng, X. et al. | 2006
- 92
-
Hierarchical Key Assignment for Black-Box Tracing with Efficient Ciphertext SizeMatsushita, T. / Imai, H. et al. | 2006
- 112
-
Trace-Driven Cache Attacks on AES (Short Paper)Aciicmez, O. / Koc, C. K. et al. | 2006
- 122
-
A Construction for General and Efficient Oblivious Commitment Based Envelope ProtocolsLi, J. / Li, N. et al. | 2006
- 139
-
Defining and Measuring Policy Coverage in Testing Access Control PoliciesMartin, E. / Xie, T. / Yu, T. et al. | 2006
- 159
-
Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper)Mao, Z. / Li, N. / Winsborough, W. H. et al. | 2006
- 174
-
An Operating System Design for the Security Architecture for MicroprocessorsPlatte, J. / Diaz, R. D. / Naroska, E. et al. | 2006
- 190
-
Point-Based Trust: Define How Much Privacy Is WorthYao, D. / Frikken, K. B. / Atallah, M. J. / Tamassia, R. et al. | 2006
- 210
-
Efficient Protocols for Privacy Preserving Matching Against Distributed DatasetsSang, Y. / Shen, H. / Tan, Y. / Xiong, N. et al. | 2006
- 228
-
Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper)Nohl, K. / Evans, D. et al. | 2006
- 238
-
An Anonymous Authentication Scheme for Identification CardGe, H. et al. | 2006
- 249
-
A Wireless Covert Channel on Smart Cards (Short Paper)Dyrkolbotn, G. O. / Snekkenes, E. et al. | 2006
- 260
-
From Proxy Encryption Primitives to a Deployable Secure-Mailing-List SolutionKhurana, H. / Heo, J. / Pant, M. et al. | 2006
- 282
-
Mathematical Foundations for the Design of a Low-Rate DoS Attack to Iterative Servers (Short Paper)Macia-Fernandez, G. / Diaz-Verdejo, J. E. / Garcia-Teodoro, P. et al. | 2006
- 292
-
An Independent Function-Parallel Firewall Architecture for High-Speed Networks (Short Paper)Fulp, E. W. et al. | 2006
- 302
-
Estimating Accuracy of Mobile-Masquerader Detection Using Worst-Case and Best-Case ScenarioMazhelis, O. / Puuronen, S. / Raento, M. et al. | 2006
- 322
-
An Enhanced N-Way Exchange-Based Incentive Scheme for P2P File Sharing (Short Paper)Deng, L. / He, Y. / Xu, Z. / Yuan, C. et al. | 2006
- 332
-
Provably Correct Runtime Enforcement of Non-interference PropertiesVenkatakrishnan, V. N. / Xu, W. / Varney, D. C. D. / Sekar, R. et al. | 2006
- 352
-
An Attack on SMC-Based Software ProtectionWu, Y. / Zhao, Z. / Chui, T. W. et al. | 2006
- 369
-
Modular Behavior Profiles in Systems with Shared Libraries (Short Paper)Marceau, C. / Stillerman, M. et al. | 2006
- 379
-
Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to MagicYounan, Y. / Joosen, W. / Piessens, F. et al. | 2006
- 399
-
Cryptanalysis of Timestamp-Based Password Authentication Schemes Using Smart CardsWang, G. / Bao, F. et al. | 2006
- 410
-
Cryptanalysis of ID-Based Authenticated Key Agreement Protocols from Bilinear Pairings (Short Paper)Shim, K.-A. / Seo, S.-H. et al. | 2006
- 420
-
Seifert's RSA Fault Attack: Simplified Analysis and GeneralizationsMuir, J. A. et al. | 2006
- 435
-
The Fairness of Perfect Concurrent SignaturesWang, G. / Bao, F. / Zhou, J. et al. | 2006
- 452
-
Secure Set Membership Using 3Sat (Extended Abstract)de Mare, M. / Wright, R. N. et al. | 2006
- 469
-
Left-to-Right Signed-Bit τ-Adic Representations of n Integers (Short Paper)Brumley, B. B. et al. | 2006
- 479
-
Universal Designated Verifier Signature Without DelegatabilityHuang, X. / Susilo, W. / Mu, Y. / Wu, W. et al. | 2006
- 499
-
Tracing HTTP Activity Through Non-cooperating HTTP Proxies (Short Paper)Edell, R. J. / Kruus, P. / Meth, U. et al. | 2006
- 507
-
A Fast RSA Implementation on Itanium 2 ProcessorFurukawa, K. / Takenaka, M. / Itoh, K. et al. | 2006
- 519
-
Efficient Implementation of Public Key Cryptosystems on Mote Sensors (Short Paper)Wang, H. / Li, Q. et al. | 2006
- 529
-
Threshold Implementations Against Side-Channel Attacks and GlitchesNikova, S. / Rechberger, C. / Rijmen, V. et al. | 2006
- 546
-
Hardware-and-Software-Based Security Architecture for Broadband Router (Short Paper)Gu, X. / Li, Y. / Yang, J. / Lan, J. et al. | 2006