3811 search results - page 133 / 763 » The Safe-Tcl Security Model |
251
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
151
click to vote
FSTTCS
2009
Springer
16 years 29 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
138
click to vote
SSS
2009
Springer
16 years 28 days ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
168
click to vote
IEEEARES
2008
IEEE
16 years 24 days ago
2008
IEEE
The Security-by-Contract (S×C) framework has been recently proposed to address the trust relationship problem of the current security model adopted for mobile devices. The key id...
190
click to vote
TSC
2010
15 years 1 months ago
2010
bstraction Views for Scientific Workflow Provenance Querying Artem Chebotko, Member, IEEE, Shiyong Lu, Senior Member, IEEE, Seunghan Chang, Farshad Fotouhi, Member, IEEE, and Ping ...