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

2010
9788874883691
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11566/268946
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact