Sfoglia per Serie
Vac - Verifier of administrative role-based access control policies
2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding
2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Vac - Verifier of administrative role-based access control policies | 1-gen-2014 | Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro | |
Verifying Concurrent Programs by Memory Unwinding | 1-gen-2015 | Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro |
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