Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Chaotic Chebyshev Polynomials Based Remote User Authentication Scheme in Client-Server Environment30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.479-494, ⟨10.1007/978-3-319-18467-8_32⟩
Conference papers
hal-01345140v1
|
||
|
|
A Multiple Refinement Approach in Abstraction Model Checking13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.433-444, ⟨10.1007/978-3-662-45237-0_40⟩
Conference papers
hal-01405623v1
|