Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
| ISBN: | 9783540242871 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 258 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 21.01.2005 |
| Untertitel: | International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers |
| Schlagworte: | Java access control formal method formal verification mobile security mobile service security modeling operating system safety verification security |
Anmelden