1843 search results - page 113 / 369 » Securing Class Initialization |
147
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
126
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
137
Voted
SOSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Various security and privacy issues have emerged from the SOA healthcare platform. Large amounts of personal data are transmitted daily through the SOA healthcare platform. For se...
129
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...
154
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...