Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008529099/catalog> ?p ?o. }

• catalog abstract "Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. The CARDIS conferences were created to provide a forum for this research. CARDIS 1998 is the third international conference on Smart Card Research and Advanced Applications, held in Louvain-la-Neuve, Belgium, 14-16 Sept- ber 1998. The ?rst CARDIS was held in Lille, France in November 1994, and the second was held in Amsterdam, The Netherlands in September 1996. The fourth CARDIS is scheduled to take place in Bristol, UK in September 2000 (http://www.cardis.org). This volume contains the refereed papers presented at CARDIS 1998. These 35 papers were ?rst published in a pre-proceedings and distributed to the - tendees at the conference; they have subsequently been revised and updated for this volume. The papers discuss all aspects of smart-card research: Java cards, elect- nic commerce applications, e?ciency, security (including cryptographic al- rithms, cryptographic protocols, and authentication), and architecture. Subm- sions from Europe, the U.S., Asia, and Australia show that this is indeed an international area of research, and one that is becoming more popular as pr- tical demand for smart cards increase. We wish to thank the Program Committee members who did an excellent job in reviewing papers and providing feedback to the authors.".
• catalog alternative "CARDIS'98, smart card research and applications".
• catalog contributor b11931714.
• catalog contributor b11931715.
• catalog contributor b11931716.
• catalog created "c2000.".
• catalog date "2000".
• catalog date "c2000.".
• catalog dateCopyrighted "c2000.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Session 1: Electronic Money and Commerce -- User-Defined Divisibility of Ecash and a Practical Implementation -- An Operational Model of QuickPay -- Interoperable and Untraceable Debit-Tokens for Electronic Fee Collection -- The Banksys Signature Transport (BST) Protocol -- Session 2: The Java Card I -- The OpenCard Framework -- Smartcards – From Security Tokens to Intelligent Adjuncts -- Formal Proof of Smart Card Applets Correctness -- Session 3: The Java Card II -- Smart Card Payment over Internet with Privacy Protection -- Developing Smart Card-Based Applications Using Java Card -- The Performance of Modern Block Ciphers in JAVA -- Recoverable Persistent Memory for SmartCard -- Session 4: Attacks and Dealing with Speci c Threats -- Pirate Card Rejection -- Secure Authentication with Multiple Parallel Keys -- Relaxing Tamper-Resistance Requirements for Smart Cards by Using (Auto-)Proxy Signatures -- A Practical Implementation of the Timing Attack -- ".
• catalog description "Session 5: Authentication -- Techniques for Low Cost Authentication and Message Authentication -- Enhancing SESAMEV4 with Smart Cards -- How to Say “YES” with Smart Cards -- Session 6: Cryptography and Applications -- An Efficient Verifiable Encryption Scheme for Encryption of Discrete Logarithms -- Efficient Smart-Card Based Anonymous Fingerprinting -- Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol -- The Block Cipher BKSQ -- Session 7: Advanced Encryption Standard -- Serpent and Smartcards -- Decorrelated Fast Cipher: An AES Candidate Well Suited for Low Cost Smart Cards Applications -- Twofish on Smart Cards -- The Block Cipher Rijndael -- Session 8: Architectures and Designs -- Secure Log File Download Mechanisms for Smart Cards -- The Vault, an Architecture for Smartcards to Gain Infinite Memory -- A Data Driven Model for Designing Applications with Smart Cards -- Secure Personalization Using Proxy Cryptography -- ".
• catalog description "Session 9: E cient Implementations I -- Recent Results on Modular Multiplications for Smart Cards -- RSA Signature Algorithm for Microcontroller Implementation -- Session 10: E cient Implementations II -- Efficient Ways to Implement Elliptic Curve Exponentiation on a Smart Card -- Reducing the Collision Probability of Alleged Comp128 -- Smart Card Crypto-Coprocessors for Public-Key Cryptography.".
• catalog description "Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. The CARDIS conferences were created to provide a forum for this research. CARDIS 1998 is the third international conference on Smart Card Research and Advanced Applications, held in Louvain-la-Neuve, Belgium, 14-16 Sept- ber 1998. The ?rst CARDIS was held in Lille, France in November 1994, and the second was held in Amsterdam, The Netherlands in September 1996. The fourth CARDIS is scheduled to take place in Bristol, UK in September 2000 (http://www.cardis.org). This volume contains the refereed papers presented at CARDIS 1998. These 35 papers were ?rst published in a pre-proceedings and distributed to the - tendees at the conference; they have subsequently been revised and updated for this volume. The papers discuss all aspects of smart-card research: Java cards, elect- nic commerce applications, e?ciency, security (including cryptographic al- rithms, cryptographic protocols, and authentication), and architecture. Subm- sions from Europe, the U.S., Asia, and Australia show that this is indeed an international area of research, and one that is becoming more popular as pr- tical demand for smart cards increase. We wish to thank the Program Committee members who did an excellent job in reviewing papers and providing feedback to the authors.".
• catalog extent "xi, 379 p. :".
• catalog identifier "3540679235 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1820".
• catalog issued "2000".
• catalog issued "c2000.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "332.7/6 21".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Data encryption (Computer science).".
• catalog subject "Information Systems.".
• catalog subject "Operating systems (Computers).".
• catalog subject "Smart cards Congresses.".
• catalog subject "TK7895.S62 C36 2001".
• catalog tableOfContents "Session 1: Electronic Money and Commerce -- User-Defined Divisibility of Ecash and a Practical Implementation -- An Operational Model of QuickPay -- Interoperable and Untraceable Debit-Tokens for Electronic Fee Collection -- The Banksys Signature Transport (BST) Protocol -- Session 2: The Java Card I -- The OpenCard Framework -- Smartcards – From Security Tokens to Intelligent Adjuncts -- Formal Proof of Smart Card Applets Correctness -- Session 3: The Java Card II -- Smart Card Payment over Internet with Privacy Protection -- Developing Smart Card-Based Applications Using Java Card -- The Performance of Modern Block Ciphers in JAVA -- Recoverable Persistent Memory for SmartCard -- Session 4: Attacks and Dealing with Speci c Threats -- Pirate Card Rejection -- Secure Authentication with Multiple Parallel Keys -- Relaxing Tamper-Resistance Requirements for Smart Cards by Using (Auto-)Proxy Signatures -- A Practical Implementation of the Timing Attack -- ".
• catalog tableOfContents "Session 5: Authentication -- Techniques for Low Cost Authentication and Message Authentication -- Enhancing SESAMEV4 with Smart Cards -- How to Say “YES” with Smart Cards -- Session 6: Cryptography and Applications -- An Efficient Verifiable Encryption Scheme for Encryption of Discrete Logarithms -- Efficient Smart-Card Based Anonymous Fingerprinting -- Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol -- The Block Cipher BKSQ -- Session 7: Advanced Encryption Standard -- Serpent and Smartcards -- Decorrelated Fast Cipher: An AES Candidate Well Suited for Low Cost Smart Cards Applications -- Twofish on Smart Cards -- The Block Cipher Rijndael -- Session 8: Architectures and Designs -- Secure Log File Download Mechanisms for Smart Cards -- The Vault, an Architecture for Smartcards to Gain Infinite Memory -- A Data Driven Model for Designing Applications with Smart Cards -- Secure Personalization Using Proxy Cryptography -- ".
• catalog tableOfContents "Session 9: E cient Implementations I -- Recent Results on Modular Multiplications for Smart Cards -- RSA Signature Algorithm for Microcontroller Implementation -- Session 10: E cient Implementations II -- Efficient Ways to Implement Elliptic Curve Exponentiation on a Smart Card -- Reducing the Collision Probability of Alleged Comp128 -- Smart Card Crypto-Coprocessors for Public-Key Cryptography.".
• catalog title "CARDIS'98, smart card research and applications".
• catalog title "Smart card research and applications : third international conference, CARDIS'98, Louvain-la-Neuve, Belgium, September 14-16, 1998 : proceedings / Jean-Jacques Quisquater, Bruce Schneier (eds.).".
• catalog type "text".