S Automated Validation of Internet Security Protocols and Applications Shared cost RTD (FET open) project IST-2001-39252 Internet Security Protocols: Specification.
A Model Based Approach to Evaluation of the Efficacy of FEC Coding in Combating Network Packet Losses
Framework for Abstraction and Control of Transport Networks
