1286 search results - page 30 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
172
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
137
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
To solve the security of access to meta-data in computational Grids, by modifying model BLP, a secure access model named GBLP is introduced to support access control to Grid catalo...
134
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
164
click to vote
P2P
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
176
Voted
REX
1991
15 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...