Sökning: "semantics-based security"
Hittade 1 avhandling innehållade orden semantics-based security.
1. Securing Interactive Systems
Sammanfattning : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. LÄS MER
Resultatsidor:
1