Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
Matching Midlet's Security Claims with a Platform Security Policy Using Automata Modulo Theory
2007-01-01 Massacci, Fabio; Siahaan, Ida Sri Rejeki
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code
2007-01-01 N., Dragoni; Massacci, Fabio; Naliuka, Katsiaryna; Siahaan, Ida Sri Rejeki
Simulating midlet's security claims with automata modulo theory
2008-01-01 Massacci, Fabio; Siahaan, Ida Sri Rejeki
Inclusion Matching Implementation of Automata Modulo Theory (AMT)
2009-01-01 Siahaan, Ida; Massacci, Fabio
Automata Modulo Theory (AMT)
2009-01-01 Siahaan, Ida; Massacci, Fabio
Simulation Matching Implementation of Automata Modulo Theory (AMT)
2009-01-01 Siahaan, Ida; Massacci, Fabio
Security-by-contract for the future internet
2009-01-01 Massacci, Fabio; Piessens, F.; Siahaan, Ida Sri Rejeki
Security-by-Contract using Automata Modulo Theory
2010-01-01 Siahaan, Ida Sri Rejeki
Mostrati risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile