Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 9 results in range #1 to #9.
- On transaction processing for multilevel secure replicated databases: Label: en
- A formal framework for authentication: Label: en
- Verification and modelling of authentication protocols: Label: en
- Breaking the traditional computer security research barriers: Label: en
- Formal specification of security requirements using the theory of normative positions: Label: en
- Separating the specification and implementation phases in cryptology: Label: en
- Formal methods and automated tool for timing-channel identification in tcb source code: Label: en
- On the Chinese Wall model: Label: en
- Type-level access controls for distributed structurally object-oriented database systems: Label: en
