24 search results - page 5 / 5 » Towards a Formal Foundation of Web Security |
RML
2002
13 years 4 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
ACISP
2009
Springer
13 years 12 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
COMPSAC
2010
IEEE
13 years 3 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...
PLDI
2003
ACM
13 years 10 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...