Using dominators to extract observable protocol contexts | IEEE Conference Publication | IEEE Xplore