1599 search results - page 297 / 320 » Program Analysis for Security and Privacy |
102
click to vote
FOAL
2007
ACM
15 years 3 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
100
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
101
click to vote
DASFAA
2008
IEEE
15 years 6 months ago
2008
IEEE
A vast amount of information is being stored in scientific databases on the web. The dynamic nature of the scientific data, the cost of providing an up-to-date snapshot of the wh...
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...