147 search results - page 26 / 30 » An intruder model for verifying liveness in security protoco... |
102
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
122
click to vote
AMW
2010
15 years 3 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
133
Voted
SACMAT
2010
ACM
15 years 6 days ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
125
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
111
click to vote
CHES
2009
Springer
16 years 2 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...