704 search results - page 6 / 141 » Building Distributed Access Control System Using Service-Ori... |
149
click to vote
JHSN
2006
15 years 1 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
110
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
114
click to vote
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
138
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
136
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...