2358 search results - page 299 / 472 » A Secure Pervasive Environment |
203
click to vote
WPES
2003
ACM
15 years 11 months ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
166
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Many Grid portal architectures have three layers: browser, portal and Grid environment. We design a multi-layer Grid portal architecture, which introduced Mobile Agent; the mobile...
169
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
160
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A scalable approach to trust negotiation is required in Web service environments that have large and dynamic requester populations. We introduce Trust-Serv, a model-driven trust n...
183
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...