5475 search results - page 613 / 1095 » Model Driven Security |
158
click to vote
IEEEARES
2006
IEEE
16 years 27 days ago
2006
IEEE
Nowadays, most important topic about internet banking is security. Banks’ basic concern is ensuring their customers’ electronic transactions. Nevertheless, fraudsters are beco...
178
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
195
click to vote
ICICS
2005
Springer
16 years 11 days ago
2005
Springer
Secure socket layer (SSL) is the most popular protocol to secure Internet communications. Since SSL handshake requires a large amount of computational resource, batch RSA was propo...
194
click to vote
SACMAT
2004
ACM
16 years 8 days ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
212
click to vote
EUROPKI
2004
Springer
16 years 7 days ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...