Automatic Synthesis of Network Security Services: A First Step.

Lei Xu, Yangyong Zhang, Phakpoom Chinprutthiwong, Guofei Gu

Browse the full ICCCN paper archive.