2257 search results - page 304 / 452 » Secure program partitioning |
113
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
97
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Distributed programming has shifted from private networks to the Internet using heterogeneous Web APIs. This enables the creation of situational applications of composed services ...
106
click to vote
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
103
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
110
Voted
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...