5475 search results - page 246 / 1095 » Model Driven Security |
185
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
207
click to vote
SIGMETRICS
2006
ACM
16 years 16 days ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
154
click to vote
CCS
2010
ACM
15 years 10 months ago
2010
ACM
Android is the first mass-produced consumer-market open source mobile platform that allows developers to easily create applications and users to readily install them. However, giv...
168
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...
148
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...