537 search results - page 49 / 108 » A threat-driven approach to modeling and verifying secure so... |
IAJIT
2007
13 years 7 months ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
ENTCS
2006
13 years 7 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
ECBS
2010
IEEE
14 years 29 days ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...