Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.299-314, ⟨10.1007/978-3-642-30436-1_25⟩
Conference papers
hal-01518237v1
|