350 search results - page 39 / 70 » Improving application security with data flow assertions |
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Many network applications are based on a group communications model where one party sends messages to a large number of authorized recipients and/or receives messages from mult...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Many emerging web and Internet applications are based on a group communications model. Thus, securing group communications is an important Internet design issue. The key graph app...
BPM
2004
Springer
14 years 1 months ago
2004
Springer
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
PEPM
1994
ACM
13 years 12 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...