2324 search results - page 446 / 465 » Specifying interaction surfaces using interaction maps |
112
click to vote
WECWIS
2007
IEEE
15 years 6 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
102
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
MABS
2004
Springer
15 years 5 months ago
2004
Springer
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
The last three years have seen a dramatic increase in both awareness and exploitation of Web Application Vulnerabilities. 2008 and 2009 saw dozens of high-profile attacks against...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...