249 search results - page 22 / 50 » Security of open source web applications |
DSN
2004
IEEE
14 years 6 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...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
IAT
2003
IEEE
14 years 1 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
BSDCON
2003
13 years 9 months ago
2003
With the present trend towards increased reliance upon computer systems, the provision and prompt application of security patches is becoming vital. Developers of all operating sy...
BMCBI
2008
13 years 8 months ago
2008
Background: Comparative genomics has become a significant research area in recent years, following the availability of a number of sequenced genomes. The comparison of genomes is ...