@InProceedings{testcom05, author = {Diana Senn, David Basin, Germano Caronni}, booktitle = {Testing of Communicating Systems (TestCom) 2005}, copyright = {Springer}, copyrighturl = {http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-0-22-49212387-0,00.html?referer=www.springeronline.com/3-540-26054-4} , editor = {Ferhat Khendek, Rachida Dssouli}, isbn = {3-540-26054-4}, language = {UKenglish}, month = {May}, pages = {226--241}, publisher = {Springer-Verlag GmbH}, series = {Lecture Notes in Computer Science}, title = {Firewall Conformance Testing}, url = {http://www.springerlink.com/media/HA03EAPTVQ5TWLQYHNR2/Contributions/G/9/T/T/G9TTALV1CJ93YLPP.pdf} , volume = 3502, year = 2005 }