1771 search results - page 167 / 355 » An Aspect-Oriented Security Framework |
156
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
142
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
172
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
203
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
156
click to vote
UAI
2000
15 years 7 months ago
2000
The securities market is the fundamental theoretical framework in economics and finance for resource allocation under uncertainty. Securities serve both to reallocate risk and to ...