Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Gilles Barthe

Themen in »Construction and Analysis of Safe, Secure, and Interoperable Smart Devices«

Java access control formal method formal verification mobile security mobile service security modeling operating system safety verification security security policies smart cards smart devices verification virtual machine

Stimmen zu »Construction and Analysis of Safe, Secure, and Interoperable Smart Devices«

Details

Link teilen