101 search results - page 9 / 21 » Formal approach to security metrics.: what does |
130
click to vote
ISSA
2004
15 years 1 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
159
click to vote
FAABS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
109
click to vote
SOCO
2008
Springer
15 years 14 days ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
92
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...