5488 search results - page 923 / 1098 » On the Secure Implementation of Security Protocols |
162
click to vote
SKG
2006
IEEE
16 years 12 days ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
148
click to vote
SUTC
2006
IEEE
16 years 12 days ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
169
click to vote
TRIDENTCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This paper describes the implementation and deployment of a novel architecture for a metropolitan open wireless access network, shared among different service providers...
192
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
172
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...