690 search results - page 58 / 138 » Extended Software Architecture Based on Security Patterns |
146
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
166
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
160
click to vote
MATA
2004
Springer
15 years 9 months ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
113
Voted
WWW
2010
ACM
15 years 10 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...
152
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...