Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Formal Analysis of Security Metrics and Risk5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.304-319, ⟨10.1007/978-3-642-21040-2_22⟩
Conference papers
hal-01573302v1
|
||
|
|
A Formal Support for Collaborative Data SharingInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.547-561, ⟨10.1007/978-3-642-32498-7_42⟩
Conference papers
hal-01542438v1
|