Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 98761
Document type : Books

Formal Techniques for Distributed Systems

Dirk Beyer , Michele Boreale
Springer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books hal-01515249v1

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices

Pierangela Samarati , Michael Tunstall , Joachim Posegga , Konstantinos Markantonakis , Damien Sauveron
Springer, LNCS-6033, 2010, Lecture Notes in Computer Science, 978-3-642-12367-2. ⟨10.1007/978-3-642-12368-9⟩
Books hal-01550529v1

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems

Ioannis Askoxylakis , Henrich C. Pöhls , Joachim Posegga
Springer, LNCS-7322, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30955-7⟩
Books hal-01534316v1

Distributed Applications and Interoperable Systems

Lydia Y. Chen , Hans Reiser
Springer International Publishing, LNCS-10320, 2017, Lecture Notes in Computer Science, 978-3-319-59664-8. ⟨10.1007/978-3-319-59665-5⟩
Books hal-01800116v1