Search - Computer Information Systems and Industrial Management Access content directly

Filter your results

1 Array
Keywords : Security Protocols Verification
Page :
sorted by
Image document

Using Backward Induction Techniques in (Timed) Security Protocols Verification

 Mirosław Kurkowski , Olga Siedlecka-Lamch , Paweł Dudek
12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.265-276, ⟨10.1007/978-3-642-40925-7_25⟩
Conference papers hal-01496073v1
Page :