495 search results - page 21 / 99 » MASC - Monitoring and Security of Containers |
ACSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...
86
Voted
ESORICS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
76
Voted
UAI
2000
14 years 11 months ago
2000
The securities market is the fundamental theoretical framework in economics and finance for resource allocation under uncertainty. Securities serve both to reallocate risk and to ...
99
Voted
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
CCS
2009
ACM
15 years 10 months ago
2009
ACM
In a proxy re-encryption (PRE) scheme [4], a proxy, authorized by Alice, transforms messages encrypted under Alice's public key into encryptions under Bob's public key w...