A Prototype Tool for JavaCard Firewall Analysis |
Rene Rydhof Hansen
|
| Keywords | static analysis java card firewall flow logic |
| Type | Conference paper [With referee] |
| Conference | Nordic Workshop on Secure IT-Systems |
| Year | 2002 Month November |
| Publisher | Karlstad University |
| Address | Karlstad, Sweden |
| Series | Karlstad University Studies |
| ISBN / ISSN | 2002:31 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |