IRIS

Siahaan, Ida Sri Rejeki

Siahaan, Ida Sri Rejeki  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.018 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Automata Modulo Theory (AMT) 1-gen-2009 Siahaan, IdaMassacci, Fabio
Inclusion Matching Implementation of Automata Modulo Theory (AMT) 1-gen-2009 Siahaan, IdaMassacci, Fabio
Matching Midlet's Security Claims with a Platform Security Policy Using Automata Modulo Theory 1-gen-2007 Massacci, FabioSiahaan, Ida Sri Rejeki
Security-by-contract for the future internet 1-gen-2009 Massacci, FabioSiahaan, Ida Sri Rejeki +
Security-by-Contract using Automata Modulo Theory 1-gen-2010 Siahaan, Ida Sri Rejeki
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code 1-gen-2007 Massacci, FabioNaliuka, KatsiarynaSiahaan, Ida Sri Rejeki +
Simulating midlet's security claims with automata modulo theory 1-gen-2008 Massacci, FabioSiahaan, Ida Sri Rejeki
Simulation Matching Implementation of Automata Modulo Theory (AMT) 1-gen-2009 Siahaan, IdaMassacci, Fabio