5475 search results - page 592 / 1095 » Model Driven Security |
237
click to vote
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the possibility to prove security of the well-known blind signature schemes by Chaum, and by Pointcheval and Stern in the standard model, i.e., without random oracle...
175
click to vote
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we introduce the idea of integrating high security level services to support law enforcement with high-tech crime investigation. We take advantage of a process-orien...
200
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
175
click to vote
TPHOL
2003
IEEE
16 years 5 days 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 ...
162
click to vote
CIS
2004
Springer
16 years 9 days ago
2004
Springer
This paper presents a high performance service based mobile agent computation model. The scalability and reliability of this model is secured through the service clone policy and a...