8644 search results - page 34 / 1729 » On the Composition of Secure Systems |
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
ITIIS
2010
13 years 2 months ago
2010
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
ACSD
2008
IEEE
14 years 2 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...
ICEBE
2005
IEEE
14 years 1 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
ICIW
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...