共 50 条
- [4] A security logic for abstract state machines ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 169 - 185
- [8] The logic of masculinist protection: Reflections on the current security state SIGNS, 2003, 29 (01): : 1 - 25