Jaap-Henk Hoepman. Security, Fault-Tolerance and their Verification for Ambient Systems. In Dimitris Gritzalis, Sabrina De Capitani di Vimercati, Pierangela Samarati, Sokratis K. Katsikas, editors, Security and Privacy in the Age of Uncertainty, IFIP TC11 18:::th::: International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece. Volume 250 of IFIP Conference Proceedings, pages 441-446, Kluwer, 2003.
Abstract is missing.