Model based analysis of internet filtering systems | IEEE Conference Publication | IEEE Xplore