2270 search results - page 209 / 454 » Modelling Secure IT Systems - A Survey |
151
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
128
click to vote
PUC
2006
15 years 3 months ago
2006
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
169
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
120
click to vote
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
124
click to vote
TCS
2010
14 years 10 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...