89 search results - page 7 / 18 » Secure Composition of Insecure Components |
136
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
65
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
133
Voted
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
103
Voted
IANDC
2008
15 years 2 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
156
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...