5475 search results - page 261 / 1095 » Model Driven Security |
226
click to vote
APWEB
2011
Springer
14 years 10 months ago
2011
Springer
Host compromise is a serious security problem for operating systems. Most previous solutions based on integrity protection models are difficult to use; on the other hand, usable i...
158
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
157
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
154
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
184
click to vote
PKC
2010
Springer
15 years 10 months ago
2010
Springer
Liskov proposed several weakened versions of the random oracle model, called weakened random oracle models (WROMs), to capture the vulnerability of ideal compression functions, wh...