2335 search results - page 83 / 467 » Securing Distributed Systems with Information Flow Control |
168
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
151
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
126
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
Information sharing and protection against leakage is a critical problem especially for organisations having sensitive information. Sharing content between individuals in the same...
124
click to vote
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
140
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...