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

IIT authors:

Type: Article in proceedings of international peer-reviewed conference
Field of reference: Information Technology and Communication Systems