28 search results - page 5 / 6 » Verifying policy-based security for web services |
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
The ability to record and account for the usage of computational resources in a standardised way across different systems from multiple administrative domains is a precursor to wi...
LADC
2007
Springer
14 years 2 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
COMPSAC
2004
IEEE
14 years 8 days ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
CSFW
2009
IEEE
14 years 14 days 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...
IJMI
2007
13 years 8 months ago
2007
Objective: We present an integrated set of technologies, known as the Hippocratic Database, that enable healthcare enterprises to comply with privacy and security laws without imp...