2043 search results - page 3 / 409 » Reasoning About Security Models |
112
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
98
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
OOPSLA
2010
Springer
15 years 6 days ago
2010
Springer
83
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...