| 
|
Quote: use big-step operational semantics to monitor reachable locations under the security policy
topics >
all references >
references i-l >
Topic:
security by secure domains
Topic:
semantics by an abstract machine
Quotation Skeleton
To enforce the security policy, we give a … [formal] … of illegal writes. We use a standard big-step … [refs]. … [p. 392] The first security property for our calculus … environment in which it executes, or that are … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security by secure domains (42 items)
Topic: semantics by an abstract machine (38 items)