1875 search results - page 86 / 375 » Modeling the Security of Steganographic Systems |
89
Voted
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
107
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
117
click to vote
SACMAT
2006
ACM
15 years 6 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
134
Voted
HPCNCS
2007
15 years 2 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...