169 search results - page 24 / 34 » Security policy analysis using deductive spreadsheets |
DIM
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—It is a well known fact that user-chosen passwords are somewhat predictable: by using tools such as dictionaries or probabilistic models, attackers and password recovery tools c...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
CISS
2008
IEEE
14 years 1 months ago
2008
IEEE
—One of the major concerns of cognitive radios when used for secondary spectrum access is the potential of interfering primary users, considering especially that cognitive radios...
POPL
1998
ACM
13 years 11 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...