2270 search results - page 188 / 454 » Modelling Secure IT Systems - A Survey |
166
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
147
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
150
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
144
Voted
CSREASAM
2003
15 years 5 months ago
2003
We introduce and analyze a randomized traitor tracing algorithm for broadcast security. This algorithm is very efficient compared to brute force methods (the mean time it takes is...
227
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...