Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer networks --- Computer security. --- Penetration testing (Computer security) --- Access control. --- Ethical hacking (Computer security) --- Computer security --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Data sovereignty --- Protection --- Security measures --- Seguretat informàtica --- Control d'accés als ordinadors --- Pirates informàtics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Human-robot interaction --- Human engineering --- Computer security --- HRI (Human-robot interaction) --- Robot-human interaction --- Interacció persona-ordinador --- Robòtica --- Seguretat informàtica --- Ergonomia --- Enginyeria humana --- Factors humans en enginyeria --- Biotecnologia --- Enginyeria industrial --- Psicologia aplicada --- Condicions de treball --- Factors humans en l'arquitectura --- Sistemes persona-màquina --- Benestar --- Informàtica (Seguretat) --- Mesures de seguretat (Informàtica) --- Seguretat (Informàtica) --- Seguretat dels sistemes informàtics --- Sistemes de seguretat --- Protecció de dades --- Control d'accés als ordinadors --- Seguretat de les xarxes d'ordinadors --- Xifratge (Informàtica) --- Pirates informàtics --- Enginyeria robòtica --- Cibernètica --- Autòmats --- Robòtica en medicina --- Robots --- Robots industrials --- Automatització --- Teoria de màquines --- Comunicació home-ordinador --- Comunicació persona-màquina --- Comunicació persona-ordinador --- IPO --- Interacció home-ordinador --- Interacció persona-màquina --- Relacions home-ordinador --- Relacions persona-màquina --- Relacions persona-ordinador --- Interfícies d'usuari (Sistemes d'ordinadors) --- Usabilitat (Disseny de sistemes)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Following the previous four annual conferences, the 5th Chinese Conference on Biometrics Recognition (Sinobiometrics 2004) was held in Guangzhou, China in December 2004. The conference this year was aimed at promoting the international exchange of ideas and providing an opportunity for keeping abreast of the latest developments in biometric algorithms, systems, and applications. The 1st Biometrics Verification Competition (BVC) on face, iris, and fingerprint recognition was also conducted in conjunction with the conference. This book is composed of 74 papers presented at Sinobiometrics 2004, contributed by researchers and industrial practitioners from Korea, Japan, Singapore, Hong Kong, France, UK, US, as well as China. Of these, 60 papers were selected from 140 submissions and 14 were invited. The papers not only presented recent technical advances, but also addressed issues in biometric system design, standardization, and applications. Included among the invited were four feature papers on the ideas and algorithms of the best-performing biometric engines, which were either competition winners at the Face Authentication Test (FAT) 2004 or the Fingerprint Verification Competition (FVC) 2004, or they were the best-performing iris and palmprint recognition algorithms. The papers were complemented by five keynote lectures on biometrics, and face, fingerprint, and iris authentication and multimodal fusion by Arun Ross (West Virginia University) and Anil K. Jain (Michigan State University), Josef Kittler (University of Surrey), John Daugman (University of Cambridge), Raffaele Cappelli (University of Bologna), and Stan Z. Li (Chinese Academy of Sciences).

Biometric identification --- Computer security --- Computer science. --- Special purpose computers. --- Multimedia information systems. --- Pattern recognition. --- Application software. --- Management information systems. --- Computer Science. --- Pattern Recognition. --- Computer Appl. in Social and Behavioral Sciences. --- Computer Appl. in Administrative Data Processing. --- Multimedia Information Systems. --- Special Purpose and Application-Based Systems. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Special purpose computers --- Computers --- Informatics --- Science --- Communication systems --- Optical pattern recognition. --- Social sciences --- Information systems. --- Multimedia systems. --- Software engineering. --- Information Systems. --- Data processing. --- Computer software engineering --- Engineering --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Seguretat informàtica --- Reconeixement de formes (Informàtica) --- Biometria --- Bioestadística --- Biologia --- Estadística --- Herència (Biologia) --- Anàlisi de supervivència (Biometria) --- Censos --- Genètica quantitativa --- Biomatemàtica --- Estadística matemàtica --- Mostreig (Estadística) --- Autòmats cel·lulars --- Reconeixement automàtic de la parla --- Visió per ordinador --- Informàtica (Seguretat) --- Mesures de seguretat (Informàtica) --- Seguretat (Informàtica) --- Seguretat dels sistemes informàtics --- Sistemes de seguretat --- Protecció de dades --- Control d'accés als ordinadors --- Seguretat de les xarxes d'ordinadors --- Xifratge (Informàtica) --- Pirates informàtics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 19th International Conference on Smart Card Research and Advanced Applications, CARDIS 2020, which took place during November 18-20, 2020. The conference was originally planned to take place in Lübeck, Germany, and changed to an online format due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: post-quantum cryptography; efficient implementations; and physical attacks.

Data encryption (Computer science). --- Computer security. --- Special purpose computers. --- Application software. --- Computer communication systems. --- Cryptology. --- Systems and Data Security. --- Special Purpose and Application-Based Systems. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Special purpose computers --- Computers --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Distributed processing --- Protection --- Security measures --- Smart cards --- Cards, Smart --- Chip cards --- IC cards --- Integrated circuit cards --- Memory cards --- Computer storage devices --- Expansion boards (Microcomputers) --- Near-field communication --- Criptografia --- Seguretat informàtica --- Targetes intel·ligents --- Targetes amb circuits integrats --- Targetes chip --- Sistemes de seguretat --- Microprocessadors --- Informàtica (Seguretat) --- Mesures de seguretat (Informàtica) --- Seguretat (Informàtica) --- Seguretat dels sistemes informàtics --- Protecció de dades --- Control d'accés als ordinadors --- Seguretat de les xarxes d'ordinadors --- Xifratge (Informàtica) --- Pirates informàtics --- Escriptura secreta --- Escriptura --- Símbols

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. The papers feature topics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, the modeling of information flow and its application to confidentiality policies, system composition and covert channel analysis.

Computer security --- Formal methods (Computer science) --- Cryptography --- Computer Science --- Engineering & Applied Sciences --- Data protection --- Computer science. --- Computer organization. --- Computer communication systems. --- Data structures (Computer science). --- Data encryption (Computer science). --- Coding theory. --- Algorithms. --- Computer Science. --- Data Encryption. --- Data Structures, Cryptology and Information Theory. --- Coding and Information Theory. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Computer Systems Organization and Communication Networks. --- Algorism --- Algebra --- Arithmetic --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Foundations --- Distributed processing --- Data structures (Computer scienc. --- Computer software. --- Computer network architectures. --- Cryptology. --- Data Structures and Information Theory. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Software, Computer --- Computer systems --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Intel·ligència artificial --- Seguretat informàtica --- Informàtica (Seguretat) --- Mesures de seguretat (Informàtica) --- Seguretat (Informàtica) --- Seguretat dels sistemes informàtics --- Sistemes de seguretat --- Protecció de dades --- Control d'accés als ordinadors --- Seguretat de les xarxes d'ordinadors --- Xifratge (Informàtica) --- Pirates informàtics --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial