Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel. Deriving Secure Network Protocols for Enterprise Services Architectures. In Proceedings of IEEE International Conference on Communications, ICC 2006, Istanbul, Turkey, 11-15 June 2006. pages 2283-2287, IEEE, 2006. [doi]
Abstract is missing.