28 search results - page 5 / 6 » Specifying and Modelling Secure Channels in Strand Spaces |
ACSD
2003
IEEE
14 years 28 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
NSPW
2006
ACM
14 years 1 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
USS
2008
13 years 10 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
TDP
2010
13 years 2 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...