The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase smart card (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1990 (15) 1991-1995 (15) 1996 (20) 1997-1998 (56) 1999 (26) 2000 (57) 2001 (64) 2002 (61) 2003 (67) 2004 (80) 2005 (76) 2006 (101) 2007 (72) 2008 (80) 2009 (69) 2010 (57) 2011 (52) 2012 (67) 2013 (73) 2014 (59) 2015 (62) 2016 (51) 2017 (59) 2018 (37) 2019 (8)
Publication types (Num. hits)
article(327) book(1) incollection(6) inproceedings(1025) phdthesis(9) proceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 942 occurrences of 388 keywords

Results
Found 1384 publication records. Showing 1384 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
144Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park Impact of Embedding Scenarios on the Smart Card-Based Fingerprint Verification. Search on Bibsonomy WISA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Performance Evaluation, Smart Card, Fingerprint Verification
122Jean-Louis Lanet Are Smart Cards the Ideal Domain for Applying Formal Methods? Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
114Michael Osborne, Nalini K. Ratha A JC-BioAPI Compliant Smart Card with Biometrics for Secure Access Control. Search on Bibsonomy AVBPA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
103Hoon-Jae Lee 0001, ManKi Ahn, Seongan Lim, Sang-Jae Moon A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks. Search on Bibsonomy ICCSA (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Protection Profiles, Vulnerability Assessment Activities, SPA/DPA, Smart Card, Side Channel Attacks, Common Criteria
102Marc Kekicheff, Forough Kashef, David Brewer Open Platform Security. Search on Bibsonomy Java Card Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
101Idir Bakdi Towards a Secure and Practical Multifunctional Smart Card. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multifunctional smart card, secure hardware token, privacy
101Bo-Yin Yang, Jiun-Ming Chen, Yen-Hung Chen TTS: High-Speed Signatures on a Low-Cost Smart Card. Search on Bibsonomy CHES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF 8051, smart card, finite field, Multivariate public-key cryptosystem
101Eun-Jun Yoon, Kee-Young Yoo A New Secure Key Exchange Protocol Between STB and Smart Card in DTV Broadcasting. Search on Bibsonomy WISI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
101Alvin T. S. Chan, Florine Tse, Jiannong Cao, Hong Va Leong Distributed Object Programming Environment for Smart Card Application Development. Search on Bibsonomy DOA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
100Jaap-Henk Hoepman, Geert Kleinhuis Two Worlds, One Smart Card: An Integrated Solution for Physical Access and Logical Security Using PKI on a Single Smart Card. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reduced sign-on, Access control, smart card, PKI
97David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira BSmart: A Tool for the Development of Java Card Applications with the B Method. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
94Steve Elliot, Claudia Löbbecke Smart-Card Based Electronic Commerce: Characteristics and Roles. Search on Bibsonomy HICSS (4) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
93Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre Mastering Test Generation from Smart Card Software Formal Models. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
92Mark J. Burge Developing smart card applications using the OpenCard Framework. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF JCOP, OpenCard Framework, Mobile Computing, pervasive computing, design patterns, Smart Cards, Java Card
92Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon Automatic Test Generation on a (U)SIM Smart Card. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
91Jiun-Tze Lai, Ting-Wei Hou An efficient secure communication between set-top box and smart card in DTV broadcasting. Search on Bibsonomy AsiaCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF smart card, mutual authentication, set-top-box
90Asad M. Ali Zero Footprint Secure Internet Authentication Using Network Smart Card. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
88King-Keung Mok, Ka-Hung Tsang, Cheong-fat Chan, Oliver Chiu-sing Choy, Kong-Pang Pun Adiabatic Smart Card. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
88Won Jay Song, Won Hee Kim, Bo Gwan Kim, Byung-Ha Ahn, Mun Kee Choi, Minho Kang Smart Card Terminal Systems Using ISO/IEC 7816-3 Interface and 8051 Microprocessor Based on the System-on-Chip. Search on Bibsonomy ISCIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
87Jeung-Bo Cho, Min-Soo Jung A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card. Search on Bibsonomy Human.Society@Internet 2003 The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
86Iman Narasamdya, Michaël Périn Certification of smart-card applications in common criteria. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
86Ren-Chiun Wang, Wen-Shenq Juang, Chin-Laung Lei A Simple and Efficient Key Exchange Scheme Against the Smart Card Loss Problem. Search on Bibsonomy EUC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF authentication, smart card, hash function, password, key exchange
86Tsang Hin Chung, Kwong-Sak Leung, Kin-Hong Lee Design and Analysis of Smart Card Based Remote Authentication Protocol for Internet-Based System. Search on Bibsonomy WETICE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF security, java, Authentication, smart card
82Peng Li, Steve Zdancewic Advanced control flow in Java card programming. Search on Bibsonomy LCTES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF trampolined style, smart card, continuation, control flow, Java card, CPS
81Alvin T. S. Chan, Dick K. T. Wan Web Services Mobility in a Pocket. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
80Tien-Yan Ma, Ting-Wei Hou Implementing FISC IC Card Specification and Developing Health Care Application Using Java Card. Search on Bibsonomy ISMSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF financial information system, Smart card, Java card, health information system
79Ryutaro Toji, Yoshinori Wada, Shinichi Hirata, Katsuhiko Suzuki A Network-Based Platform for Multi-Application Smart Cards. Search on Bibsonomy EDOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
79Arnaud Boscher, Robert Naciri Optimal Use of Montgomery Multiplication on Smart Cards. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GQ2, Smart Card, RSA, Montgomery Multiplication, ECDSA
79Dominique de Waleffe, Jean-Jacques Quisquater CORSAIR: A SMART Card for Public Key Cryptosystems. Search on Bibsonomy CRYPTO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF public key algorithms, digital signature, Smart card, RSA, zero-knowledge protocols
78Ramaswamy Chandramouli, Philip Lee Infrastructure Standards for Smart ID Card Deployment. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
78Tommaso Cucinotta, Marco Di Natale, David Corcoran Breaking Down Architectural Gaps in Smart-Card Middleware Design. Search on Bibsonomy TrustBus The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
76Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Manabu Hirano, Takeshi Okuda, Suguru Yamaguchi Application for a Simple Device Authentication Framework: Device Authentication Middleware Using Novel Smart Card Software. Search on Bibsonomy SAINT Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
76Youngsook Lee, Junghyun Nam, Dongho Won Vulnerabilities in a Remote Agent Authentication Scheme Using Smart Cards. Search on Bibsonomy KES-AMSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed system, smart card, impersonation attack, authentication scheme
74Alvin T. S. Chan Cookies on-the-move: managing cookies on a smart card. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mobile, Web, smart card, cookies
74Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sloan Examining Smart-Card Security under the Threat of Power Analysis Attacks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF security, Cryptography, smart card, data encryption standard (DES), power analysis attack, implementation attack
73Mücahit Mutlugün, Oktay Adalier Turkish national electronic identity card. Search on Bibsonomy SIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF national identity card, biometrics, smart card, pki
73Youn-Hee Gil, Daesung Moon, Sung Bum Pan, Yongwha Chung Fingerprint Verification System Involving Smart Card. Search on Bibsonomy ICISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
71David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira Automation of Java Card component development using the B method. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
70Martin Seysen Using an RSA Accelerator for Modular Inversion. Search on Bibsonomy CHES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Smart card coprocessor, Euclidean algorithm, modular inversion
70Boris Balacheff, Liqun Chen, David Plaquin, Graeme Proudler A trusted process to digitally sign a document. Search on Bibsonomy NSPW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF TCPA, authenticated image, trusted display, digital signatures, smart card
70William G. Sirett, John A. MacDonald, Keith Mayes, Constantinos Markantonakis Design, Installation and Execution of a Security Agent for Mobile Stations. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Application Deployment, JSR177, MIDP2.0, Smart Card, Security Protocol, GSM, Mobile Station, Security Agent
69Aisha Fouad Bushager, Mark Zwolinski Modelling Smart Card Security Protocols in SystemC TLM. Search on Bibsonomy EUC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
69Walid Attiaoui, Mohamed Ben Ahmed, Moncef Tagina, Boutheina Chetali Wrapping and Integrating USB Smart Card to Web Based Heterogeneous Medical Databases: Application for the Pathology of Cancer. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Ludovic Casset, Jean-Louis Lanet Increasing smart card dependability. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
69Alain Macaire An Open and Secure Terminal Infrastructure for Hosting Personal Services. Search on Bibsonomy TOOLS (33) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Architectures & Frameworks, Naming & Directory Services, Lookup Services Access to Distributed Services, Smart Cards and Terminals, User's Mobility, Embedded Systems
68Chi-Leung San, Chiu-sing Choy, Pak-Kee Chan, Cheong-fat Chan, Kong-Pang Pun Realization of card-centric framework: a card-centric computer [smart cards]. Search on Bibsonomy ISCAS (5) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
68Yoichi Seto Development of personal authentication systems using fingerprint with smart cards and digital signature technologies. Search on Bibsonomy ICARCV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67June Andronick, Boutheina Chetali, Christine Paulin-Mohring Formal Verification of Security Properties of Smart Card Embedded Source Code. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
66Sung Bum Pan, Daesung Moon, Kichul Kim, Yongwha Chung A VLSI Implementation of Minutiae Extraction for Secure Fingerprint Authentication. Search on Bibsonomy CIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fingerprint authentication, minutiae extraction, VLSI, SoC
66Riza Cenk Erdur, Geylani Kardas Personalized Access to Semantic Web Agents Using Smart Cards. Search on Bibsonomy Euro-Par The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
66Russell Tessier, David Jasinski, Atul Maheshwari, Aiyappan Natarajan, Weifeng Xu, Wayne P. Burleson An energy-aware active smart card. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Giampaolo Bella Mechanising a Protocol for Smart Cards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF smart card protocols, Inductive Approach, authentication, confidentiality, key distribution
64Hans-Joachim Knobloch A Smart Card Implementation of the Fiat-Shamir Identification Scheme. Search on Bibsonomy EUROCRYPT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
64Jean Goutay Smart Card Applications in Security and Data Protection. Search on Bibsonomy EUROCRYPT The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
63Eun-Jun Yoon, Kee-Young Yoo Two Security Problems of Efficient Remote Mutual Authentication and Key Agreement. Search on Bibsonomy FGCN (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Authentication, Cryptanalysis, Smart card, Password, Key agreement
62Gerhard de Koning Gans, Jaap-Henk Hoepman, Flavio D. Garcia A Practical Attack on the MIFARE Classic. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Wansuck Yi, Seungjoo Kim, Dongho Won Smart Card Based AKE Protocol Using Biometric Information in Pervasive Computing Environments. Search on Bibsonomy ICCSA (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF known-key secrecy, authentication, pervasive computing, biometrics, smart card, key exchange, forward secrecy
62Eun-Jun Yoon, Kee-Young Yoo An Improved Lu-Cao's Remote User Authentication Scheme Using Smart Card. Search on Bibsonomy EuroPKI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Authentication, Network security, Smart card, Password
62Jean-Bernard Fischer, Emmanuel Prouff Off-Line Group Signatures with Smart Cards. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF smart card, risk management, Group signature, revocation, dynamic group
61Dirk Husemann, Reto Hermann Open Card: Talking to Your Smart Card. Search on Bibsonomy IEEE Concurrency The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
59Patrick C. K. Hung, Kamalakar Karlapalem Security and Privacy Aspects fo Smartflow Internet Payment System. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
59Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif Model-Driven Code Generation for Secure Smart Card Applications. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Raul Sánchez-Reillo Including Biometric Authentication in a Smart Card Operating System. Search on Bibsonomy AVBPA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Denis Sabatier, Pierre Lartigue The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
59Mikhail J. Atallah, Marina Bykova Portable and Flexible Document Access Control Mechanisms. Search on Bibsonomy ESORICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Michael W. David, Kouichi Sakurai Security Issues for Contactless Smart Cards. Search on Bibsonomy Public Key Cryptography The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Contactless-card, Standards, Smart-card, Public key, Efficient Implementation
57Stéphane Bonnet, Olivier Potonniée, Raphaël Marvie, Jean-Marc Geib A Model-Driven Approach for Smart Card Configuration. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Pierpaolo Baglietto, Francesco Moggia, Nicola Zingirian, Massimo Maresca Application Level Smart Card Support through Networked Mobile Devices. Search on Bibsonomy Communications and Multimedia Security The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Michael Montgomery, Asad M. Ali, Karen Lu Secure Network Card - Implementation of a Standard Network Stack in a Smart Card. Search on Bibsonomy CARDIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Tommaso Cucinotta, Marco Di Natale, David Corcoran A Protocol for Programmable Smart Cards. Search on Bibsonomy DEXA Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Tao Zhang 0037, Santosh Pande, Antonio Valverde Garcia Tamper-resistant whole program partitioning. Search on Bibsonomy LCTES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ramper resistance, smart card, mobile code, program partitioning
57Won Jay Song, Byung-Ha Ahn Secure Transmission of the Prescription Order Communication System Based on the Internet and the Public-Key Infrastructure Using Master Smart Cards in the 2-Way Type Terminal. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 2-Way Type Terminal, Internet, Digital Signature, Smart Card, Public-Key Infrastructure, Healthcare Information System
56António Leong, Simon Fong, Shirley W. I. Siu Smart Card-Based Irregular Access Patterns Detection System. Search on Bibsonomy EEE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF contact-tracing, intrusion diction, real-time system, Smart-card
55JeongJin Kang, HongJun Yoo, SungRok Lee Novel Process Methodology of Smart Combi Card (SCC) Manufacturing for RFID/USN. Search on Bibsonomy ICUCT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Smart combi card(SCC), RF card, COB(Chip On Board), RFID/USN
55Do-Woo Kim, Min-Soo Jung A Study on the Optimization of Class File for Java Card Platform. Search on Bibsonomy ICOIN (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
55Wael William Zakhari Malek, Keith Mayes, Constantinos Markantonakis Fraud Detection and Prevention in Smart Card Based Environments Using Artificial Intelligence. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Didier Donsez, Sébastien Jean, Sylvain Lecomte, Olivier Thomas Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP / MOM Approach in the Context of Java Cards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Eun-Jun Yoon, Kee-Young Yoo Efficient Mutual Authentication Scheme with Smart Card. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Authentication, Network security, Smart card, Secure protocol, Password
55Christoph Herbst, Elisabeth Oswald, Stefan Mangard An AES Smart Card Implementation Resistant to Power Analysis Attacks. Search on Bibsonomy ACNS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DPA resistance, smart card, AES
54June Andronick, Boutheina Chetali, Olivier Ly Using Coq to Verify Java Card Applet Isolation Properties. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Security, Theorem Proving, Smart Card
54Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé A Smart Card-Based Mental Poker System. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Smart cards and applications in the Internet, Cryptographic protocols for smart cards, E-gambling, Mental poker
54Louis C. Guillou, Michel Ugon Smart Card, a Highly Reliable and Portable Security Device. Search on Bibsonomy CRYPTO The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
53Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva Automated Test and Oracle Generation for Smart-Card Applications. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
52Michael Neve, Eric Peeters, David Samyde, Jean-Jacques Quisquater Memories: A Survey of Their Secure Uses in Smart Cards. Search on Bibsonomy IEEE Security in Storage Workshop The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Secure memories, Smart cards, Tamper resistance, Side channels, Secure hardware
52Geylani Kardas, Ebru Celikel A Smart Card Mediated Mobile Platform for Secure E-Mail Communication. Search on Bibsonomy ITNG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Juan Jesús Sánchez Sánchez, Daniel Díaz Sánchez, José Alberto Vigo Segura, Natividad Martínez Madrid, Ralf Seepold Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards. Search on Bibsonomy CARDIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting Requirements traceability in automated test generation: application to smart card software validation. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model-based testing, formal model, requirements traceability
52Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting Requirements traceability in automated test generation: application to smart card software validation. Search on Bibsonomy A-MOST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model-based testing, formal model, requirements traceability
52Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. Search on Bibsonomy ESORICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Simon W. Moore, Robert D. Mullins, Paul A. Cunningham, Ross J. Anderson, George S. Taylor Improving Smart Card Security Using Self-Timed Circuits. Search on Bibsonomy ASYNC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Youngsook Lee, Dongho Won Enhancing of a Password-Based Authentication Scheme Using Smart Cards. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF two-factor security, smart card, dictionary attack, impersonation attack, Authentication scheme
51Minsoo Lee, Sehyun Park, Sungik Jun A Security Management Framework with Roaming Coordinator for Pervasive Services. Search on Bibsonomy ATC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF security, pervasive computing, smart card, roaming, 4G, context management, ubiquitous networks, AAA
51Eun-Jun Yoon, Kee-Young Yoo Improving the Dynamic ID-Based Remote Mutual Authentication Scheme. Search on Bibsonomy OTM Workshops (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Dynamic ID, Authentication, Smart card, Password, Reflection attack
51Jung Youp Lee, Seok Won Jung, Jongin Lim Detecting Trapdoors in Smart Cards Using Timing and Power Analysis. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Trapdoor, Smart Card, Timing Analysis, Power Analysis
51Michael Hartmann, Sachar Paulus, Tsuyoshi Takagi NICE - New Ideal Coset Encryption. Search on Bibsonomy CHES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF fast decryption, quadratic order, smart card implementation, public-key cryptosystem
50Dennis Vermoen, Marc F. Witteman, Georgi Gaydadjiev Reverse Engineering Java Card Applets Using Power Analysis. Search on Bibsonomy WISTP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
50Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun An Efficient Small Sized On-Card Verifier for Java Card. Search on Bibsonomy ICCSA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Adi Shamir Protecting Smart Cards from Passive Power Analysis with Detached Power Supplies. Search on Bibsonomy CHES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Smart cards, DPA, power analysis, SPA
49Rajeev Goré, Phuong Thê Nguyên CardS4: Modal Theorem Proving on Java Smartcards. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF security of mobile code, modal deduction
Displaying result #1 - #100 of 1384 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license