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

Beschreibung

Autor*in

Gilles Barthe

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

Assembly language Deployment Java access control embedded devices formal methods formal verification mobile security mobile service security model checking operating system security security policies verification virtual machine

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

Details

Link teilen