Representing partial knowledge in an algebraic security model | IEEE Conference Publication | IEEE Xplore