Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Conference papers
hal-01821411v1
|
||
|
A Secure One-Way Authentication Protocol in IMS Context12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.222-231, ⟨10.1007/978-3-642-24712-5_21⟩
Conference papers
hal-01596208v1
|