Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gille
Titel: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Untertitel: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, Einband: Taschenbuch, Autor: Gilles Barthe, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 272, Maße: 235x155x15 mm, Gewicht: 417 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Access control Java Smart Devices formal method formal verification mobile security mobile service security modeling operating system safety verification security security policies smart cards verification virtual machine.
Jetzt bei Ebay:
