756 search results - page 50 / 152 » Modeling Computational Security in Long-Lived Systems |
104
click to vote
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
OOPSLA
1989
Springer
15 years 3 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
CCGRID
2009
IEEE
15 years 6 months ago
2009
IEEE
—Software license management allows independent software vendors (ISVs) to control the access of their products. It is a fundamental part of the ISVs’ business strategy. A wide...
KDD
2004
ACM
16 years 7 days ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...