Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Deposit type : Notice

Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

Fides Aarts , Bengt Jonsson , Johan Uijen
IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers hal-00767416v1

Ex-SDF: an extended service dependency framework for intrusion impact assessment

Nizar Kheir , Nora Cuppens-Bouhlahia , Frédéric Cuppens , Hervé Debar
25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.148-160, ⟨10.1007/978-3-642-15257-3_14⟩
Conference papers hal-00565624v1

When Clocks Fail: On Critical Paths and Clock Faults

Michel Agoyan , Jean-Max Dutertre , David Naccache , Bruno Robisson , Assia Tria
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
Conference papers emse-00505344v1

Linking Carbon Performance and Effectiveness of Supply Chains

Anicia Jaegler , Patrick Burlat
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.117-124, ⟨10.1007/978-3-642-15961-9_13⟩
Conference papers emse-00674477v1

Analysis of token and ticket based mechanisms for current voIP security issues and enhancement proposal

Patrick Battistello , Cyril Delétré
CMC 2010 : 11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, May 2010, Linz, Austria. pp.154 - 165
Conference papers hal-00565730v1