5488 search results - page 923 / 1098 » On the Secure Implementation of Security Protocols |
171
Voted
SKG
2006
IEEE
16 years 1 months 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...
163
click to vote
SUTC
2006
IEEE
16 years 1 months 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...
186
Voted
TRIDENTCOM
2006
IEEE
16 years 1 months 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...
207
Voted
ACL2
2006
ACM
16 years 1 months 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...
191
click to vote
SAC
2006
ACM
16 years 1 months 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...