1288 search results - page 185 / 258 » Securing aspect composition |
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
Peer-to-Peer (p2p), as an emerging technology, is exerting huge influence on various application scenarios. Meanwhile, agents, assisting applications in traditional paradigm with...
CCS
2001
ACM
15 years 2 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
SOUPS
2010
ACM
15 years 1 months ago
2010
ACM
Text-based passwords are still the most commonly used authentication mechanism in information systems. We took advantage of a unique opportunity presented by a significant change...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
AICCSA
2008
IEEE
14 years 12 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...