1490 search results - page 208 / 298 » The Logic of Authentication Protocols |
100
Voted
IJFCS
2007
15 years 15 days ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
98
Voted
JUCS
2007
15 years 14 days ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
80
Voted
COMCOM
2000
15 years 12 days ago
2000
In this paper, we describe a thread of research which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the bro...
107
Voted
SIGDIAL
2010
14 years 10 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
114
Voted
DALT
2007
Springer
15 years 4 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...