The 3rd International Conference on Applied Cryptography and Network Security (ACNS 2005) was sponsored and organized by ...
Lire la suite
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lire la suite
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Lire la suite
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Lire la suite