Java on Smart Cards: Programming and Security [[electronic resource] ] : First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / / edited by Isabelle Attali, Thomas Jensen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 166 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computer communication systems Operating systems (Computers) Special purpose computers Data encryption (Computer science) Management information systems Computer science Programming Techniques Computer Communication Networks Operating Systems Special Purpose and Application-Based Systems Cryptology Management of Computing and Information Systems |
ISBN | 3-540-45165-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Formal Methods in Context: Security and Java Card -- Contributed Papers -- A Dynamic Logic for the Formal Verification ofJava Card Programs -- The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow -- CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security -- A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations -- Secure Internet Smartcards -- Issues in Smartcard Middleware -- Open Platfom Security -- A Simple(r) Interface Distribution Mechanism for Java Card -- Automatic Test Generation for Java Card Applets -- Formal Specification and Verification of Java Card’s Application Identifier Class -- Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring. |
Record Nr. | UNISA-996465778803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Java on Smart Cards: Programming and Security : First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / / edited by Isabelle Attali, Thomas Jensen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 166 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computer communication systems Operating systems (Computers) Special purpose computers Data encryption (Computer science) Management information systems Computer science Programming Techniques Computer Communication Networks Operating Systems Special Purpose and Application-Based Systems Cryptology Management of Computing and Information Systems |
ISBN | 3-540-45165-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Formal Methods in Context: Security and Java Card -- Contributed Papers -- A Dynamic Logic for the Formal Verification ofJava Card Programs -- The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow -- CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security -- A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations -- Secure Internet Smartcards -- Issues in Smartcard Middleware -- Open Platfom Security -- A Simple(r) Interface Distribution Mechanism for Java Card -- Automatic Test Generation for Java Card Applets -- Formal Specification and Verification of Java Card’s Application Identifier Class -- Security on Your Hand: Secure Filesystems with a “Non-cryptographic” JAVA-Ring. |
Record Nr. | UNINA-9910143597103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering |
Autore | Ernst Michael |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2005 |
Descrizione fisica | 1 online resource (118 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Language-Special Interest Group on Software Engineering Workshop on Program Analysis for Software Tools and Engineering
PASTE '05 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (co-located with ESEC/FSE 2005 Conference ), Lisbon, Portugal - September 05 - 06, 2005 |
Record Nr. | UNINA-9910376477003321 |
Ernst Michael
![]() |
||
[Place of publication not identified], : ACM, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Smart Card Programming and Security [[electronic resource] ] : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings / / edited by Isabelle Attali, Thomas Jensen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (VIII, 260 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data encryption (Computer science)
Computer engineering Computer security Special purpose computers Computer communication systems Operating systems (Computers) Cryptology Computer Engineering Systems and Data Security Special Purpose and Application-Based Systems Computer Communication Networks Operating Systems |
ISBN | 3-540-45418-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Protecting Consumer Security Devices -- Contributed Papers -- Jakarta: A Toolset for Reasoning about JavaCard -- Mechanising a Protocol for Smart Cards -- JCCM: Flexible Certificates for smartcards with Java Card -- Context Inference for Static Analysis of Java Card Object Sharing -- Automated Test and Oracle Generation for Smart-Card Applications -- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels -- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards -- An Operational Semantics of the Java Card Firewall -- CardS4: Modal Theorem Proving on Java Smartcards -- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric -- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs -- On-Card Bytecode Verification for Java Card -- Towards a Full Formal Specification of the JavaCard API -- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector -- A Flexible Invocation Framework for Java Card -- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards -- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm -- Use of Biometrics for User Verification in Electronic Signature Smartcards -- Programming Internet Smartcard with XML Scripts -- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. |
Record Nr. | UNISA-996465793103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Smart Card Programming and Security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings / / edited by Isabelle Attali, Thomas Jensen |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (VIII, 260 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data encryption (Computer science)
Computer engineering Computer security Special purpose computers Computer communication systems Operating systems (Computers) Cryptology Computer Engineering Systems and Data Security Special Purpose and Application-Based Systems Computer Communication Networks Operating Systems |
ISBN | 3-540-45418-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Protecting Consumer Security Devices -- Contributed Papers -- Jakarta: A Toolset for Reasoning about JavaCard -- Mechanising a Protocol for Smart Cards -- JCCM: Flexible Certificates for smartcards with Java Card -- Context Inference for Static Analysis of Java Card Object Sharing -- Automated Test and Oracle Generation for Smart-Card Applications -- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels -- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards -- An Operational Semantics of the Java Card Firewall -- CardS4: Modal Theorem Proving on Java Smartcards -- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric -- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs -- On-Card Bytecode Verification for Java Card -- Towards a Full Formal Specification of the JavaCard API -- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector -- A Flexible Invocation Framework for Java Card -- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards -- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm -- Use of Biometrics for User Verification in Electronic Signature Smartcards -- Programming Internet Smartcard with XML Scripts -- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards. |
Record Nr. | UNINA-9910143628003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Static Analysis [[electronic resource] ] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / / edited by Sandrine Blazy, Thomas Jensen |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVI, 333 p. 90 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
ISBN | 3-662-48288-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466184203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / / edited by Sandrine Blazy, Thomas Jensen |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVI, 333 p. 90 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
ISBN | 3-662-48288-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484481003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|