418 search results - page 28 / 84 » Deriving Systems Level Security Properties of Component Base... |
CRYPTO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
NIPS
1998
13 years 10 months ago
1998
We examine the statistics of natural monochromatic images decomposed using a multi-scale wavelet basis. Although the coefficients of this representation are nearly decorrelated, t...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
IHIS
2005
ACM
14 years 2 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...