1150 search results - page 135 / 230 » Specifying Information-Flow Controls |
CCS
2004
ACM
14 years 1 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
ICTAI
2003
IEEE
14 years 1 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
DIGRA
2003
Springer
14 years 1 months ago
2003
Springer
The relationship between videogames and violent behaviour was analysed in a representative sample of 9889 Norwegian youth ageing from 13 to 18 years. Videogames were separated in ...
FORMATS
2003
Springer
14 years 1 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...