524 search results - page 59 / 105 » Enforcing Messaging Security Policies |
210
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
145
Voted
CCS
2009
ACM
16 years 27 days ago
2009
ACM
Most cryptographic algorithms provide a means for secret and authentic communication. However, under many circumstances, the ability to repudiate messages or deny a conversation i...
188
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
170
click to vote
SACMAT
2005
ACM
15 years 11 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
158
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...