39 search results - page 8 / 8 » Challenges in the Automated Verification of Security Protoco... |
ESORICS
2009
Springer
14 years 6 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
IEEESCC
2007
IEEE
13 years 11 months ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
DAC
2007
ACM
14 years 6 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
DGO
2009
13 years 6 months ago
2009
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...