5475 search results - page 1034 / 1095 » Model Driven Security |
106
click to vote
ICN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Scalable group key management solutions are crucial for supporting Internet applications that are based on a group communication model. Many solutions have been proposed ...
127
click to vote
JIT
2005
Springer
15 years 6 months ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
102
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
101
Voted
PPDP
2005
Springer
15 years 6 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...
103
Voted
RULEML
2005
Springer
15 years 6 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 (...