selected publications conference paper Security Rules Specification and Analysis Based on Passive Testing. . 1-6. 2008