2257 search results - page 185 / 452 » Secure program partitioning |
100
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
117
click to vote
IFIP
2007
Springer
15 years 7 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...
121
Voted
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
100
click to vote
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
96
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...