IIT Home Page CNR Home Page

Preserving Security Properties under Refinement

The 7th International Workshop on Software Engineering for Secure Systems (SESS'11), Waikiki, Honolulu, Hawaii, 2011

Autori IIT:

Tipo: Articolo in Atti di convegno internazionale con referee
Area di disciplina: Information Technology and Communication Systems