3811 search results - page 649 / 763 » The Safe-Tcl Security Model |
154
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
177
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
152
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Computational models of trust have been proposed for use in ubicomp environments for deciding whether to allow customers to pay with an e-purse or not. In order to build trust in ...
166
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Next generation mobile devices will allow users to share and pass information within anonymous groups of people in an ad hoc manner. This will smooth the path for many kinds of ne...
176
click to vote
SC
2004
ACM
15 years 12 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...