1167 search results - page 90 / 234 » policy 2007 |
125
Voted
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
118
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
122
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs w...
115
click to vote
BIOSIG
2003
15 years 5 months ago
2003
: This paper introduces a generalized authentication framework for smart he framework abstracts the authentication services on the card and allows flexible configuration of authent...
112
click to vote
CN
2007
15 years 4 months ago
2007
Network stability is an important issue that has attracted the attention of many researchers in recent years. Such interest comes from the need to ensure that, as the system runs ...