1599 search results - page 297 / 320 » Program Analysis for Security and Privacy |
129
Voted
FOAL
2007
ACM
15 years 7 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...
138
Voted
IFIP
2010
Springer
14 years 10 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...
126
Voted
ASPLOS
2011
ACM
14 years 7 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...
137
Voted
DASFAA
2008
IEEE
15 years 10 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...
127
Voted
SAFECOMP
2007
Springer
15 years 9 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...