1875 search results - page 176 / 375 » Modeling the Security of Steganographic Systems |
101
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
95
Voted
ITRUST
2004
Springer
15 years 6 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
121
click to vote
ETRICS
2006
15 years 4 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
95
Voted
UTP
2010
14 years 10 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
128
click to vote
ICCV
2007
IEEE
15 years 2 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...