274 search results - page 1 / 55 » Formal procedural security modeling and analysis |
CRISIS
2008
14 years 17 days ago
2008
We are involved in a project related to the evaluation
CSFW
2003
IEEE
14 years 4 months ago
2003
IEEE
A type confusion attack is one in which a principal accepts data of one type as data of another. Although it has been shown by Heather et al. that there are simple formatting conv...
CCS
2003
ACM
14 years 4 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
CCS
2009
ACM
14 years 11 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
CCS
2010
ACM
13 years 11 months ago
2010
ACM