The following pages link to Computer Security — ESORICS 92 (Q5857797):
Displayed 9 items.
- Type-level access controls for distributed structurally object-oriented database systems (Q5857798) (← links)
- On the Chinese Wall model (Q5857799) (← links)
- Formal methods and automated tool for timing-channel identification in tcb source code (Q5857800) (← links)
- Separating the specification and implementation phases in cryptology (Q5857801) (← links)
- Formal specification of security requirements using the theory of normative positions (Q5857802) (← links)
- Breaking the traditional computer security research barriers (Q5857803) (← links)
- Verification and modelling of authentication protocols (Q5857805) (← links)
- A formal framework for authentication (Q5857806) (← links)
- On transaction processing for multilevel secure replicated databases (Q5857808) (← links)