3003 search results - page 207 / 601 » Software Security: Building Security In |
148
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
149
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
130
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
When IEEE 802.11i draft[1] proposed TKIP, it is expected to improve WEP on both active and passive attack methods. TKIP uses more sophisticated methods to distribute and manage se...
152
Voted
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
135
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...