5246 search results - page 810 / 1050 » Sanitization models and their limitations |
158
click to vote
ECOOP
2004
Springer
15 years 12 months ago
2004
Springer
Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...
181
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
151
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
We study a basic problem in Multi-Queue switches. A switch connects m input ports to a single output port. Each input port is equipped with an incoming FIFO queue with bounded cap...
188
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
We present and analyze portable access control mechanisms for large data repositories, in that the customized access policies are stored on a portable device (e.g., a smart card). ...
149
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...