288 search results - page 58 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
158
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
137
click to vote
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
192
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...