516 search results - page 46 / 104 » Comparing Two Information Flow Security Properties |
DSN
2004
IEEE
14 years 18 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
IEEEIAS
2009
IEEE
13 years 6 months ago
2009
IEEE
In order to avoid security threats caused by password attack and replay attack in single sign-on protocal, the most methods on sovling these issues are making use of complicated te...
ISTA
2007
13 years 10 months ago
2007
: The evaluation of Information Systems (IS) is a critical process for the successful development of any organizational IT capability. An important class of decision making techniq...
SACRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
MMS
2006
13 years 8 months ago
2006
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...