Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2041 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Java on smart cards, programming and security, first international workshop, JavaCard 2000, Cannes, France, September 14, 2000, revised papers, Isabelle Attali, Thomas Jensen (eds.), New York, Springer, 2001, 1 vol. (X-162 p.), Lecture notes in computer science, 3-540-42167-X • Java on Smart Cards: Programming and Security, Texte imprimé, 9783662179161 |
Inhaltsangabe:
- 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.