1875 search results - page 154 / 375 » Modeling the Security of Steganographic Systems |
102
Voted
PET
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a new traffic analysis attack: the Two-sided Statistical Disclosure Attack, that tries to uncover the receivers of messages sent through an anonymizing network support...
101
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
95
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
78
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
116
click to vote
SP
2003
IEEE
15 years 6 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...