Semantic model checking security requirements for web services / Boaro, L.; Glorio, E.; Pagliarecci, F.; Spalazzi, L.. - STAMPA. - (2010), pp. 190-197. (Intervento presentato al convegno 18th Italian Symposium on Advanced Database Systems, SEBD 2010 tenutosi a Rimini, ita nel 2010).
Semantic model checking security requirements for web services
Boaro, L.;Glorio, E.;Pagliarecci, F.;Spalazzi, L.
2010-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.