Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Authentication Protocol
Pervasive Computing
Public Key Infrastructure
Secure Communication
Subscribe
Academic
Publications
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
Edit
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
(
Citations: 5
)
BibTex
|
RIS
|
RefWorks
Download
L. H. Nguyen
,
A. W. Roscoe
One of the main challenges in
pervasive computing
is how we can establish
secure communication
over an untrusted high-bandwidth net- work without any initial knowledge or a
Public Key
Infrastructure. An approach studied by a number of researchers is building security though human work creating a low-bandwidth empirical (or authen- tication) channel where the transmitted information is authentic and cannot be faked or modified. In this paper, we give an analytical survey of authentication protocols of this type. We start with non-interactive authentication schemes, and then move on to analyse a number of strategies used to build interactive pair-wise and group protocols that minimise the human work relative to the amount of security obtained as well as optimising the computation processing. We introduce a number of new protocols, most of which are variants on existing ones.
Published in 2011.
DOI:
10.3233/JCS-2010-0403
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.informatik.uni-trier.de
)
(
dx.doi.org
)
(
www.iist.unu.edu
)
Citation Context
(5)
...Our strategy is to use a multichannel protocol [20,15,4,18,
16
] in which the traditional challenge-response between verifier and prover on the regular channel is augmented with an additional verification on a special channel whose main property is that it cannot be relayed...
Frank Stajano
,
et al.
Multichannel Protocols to Prevent Relay Attacks
...Authentication protocol with CSP using the model checker Failures - Divergences Refinement (FDR), many different security protocols [4] with different security properties [
5
][6] have been modeled and verified, including their authentication and secrecy specifications [7]...
Ahmet Koltuksuz
,
et al.
Modeling Efficient Multi-chained Stream Signature Protocol Using Commu...
...There have been several survey papers on authentication [
14
], [15], which gave comparative analyses...
Peishun Wang
,
et al.
Constructing an Authentication Token to Access External Services in Se...
...The notations for several types of channel are given below. These are taken from [
8
]...
L. H. Nguyen
,
et al.
Separating two roles of hashing in one-way message authentication
...Nguyen and Roscoe wrote an extensive survey [
28
] of HISPs, comparing their cost and efficiency, of which [30,32,33] are good examples...
Chen Bangdao
,
et al.
Mobile Electronic Identity: Securing Payment on Mobile Phones
References
(46)
Talking to Strangers: Authentication in Ad-Hoc Wireless Networks
(
Citations: 333
)
Dirk Balfanz
,
Diana K. Smetters
,
Paul Stewart
,
H. Chi Wong
Conference:
Network and Distributed System Security Symposium - NDSS
, 2002
Universal Classes of Hash Functions
(
Citations: 963
)
Larry Carter
,
Mark N. Wegman
Journal:
Journal of Computer and System Sciences - JCSS
, vol. 18, no. 2, pp. 143-154, 1979
Secret-Ballot Receipts: True Voter-Verifiable Elections
(
Citations: 147
)
David Chaum
Journal:
IEEE Security & Privacy
, vol. 2, no. 1, pp. 38-47, 2004
Bootstrapping multi-party ad-hoc security
(
Citations: 6
)
Sadie Creese
,
Michael Goldsmith
,
Bill Roscoe
,
Ming Xiao
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 369-375, 2006
The attacker in ubiquitous computing environments: Formalising the threat model
(
Citations: 19
)
S. J. Creese
,
M. Goldsmith
,
A. W. Roscoe
,
I. Zakiuddin
Conference:
Formal Aspects of Security
, 2003
Order by:
Citations
(5)
Multichannel Protocols to Prevent Relay Attacks
(
Citations: 1
)
Frank Stajano
,
Ford-Long Wong
,
Bruce Christianson
Conference:
Financial Cryptography
, pp. 4-19, 2010
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes
Ahmet Koltuksuz
,
Murat Ozkan
,
Burcu Kulahcioglu
Conference:
International Conference on Secure Software Integration and Reliability Improvement Companion - SSIRI-C
, 2010
Constructing an Authentication Token to Access External Services in Service Aggregation
Peishun Wang
,
Yi Mu
,
Willy Susilo
,
Jun Yan
Conference:
IEEE International Conference on Services Computing - IEEESCC
, pp. 321-328, 2010
Separating two roles of hashing in one-way message authentication
(
Citations: 2
)
L. H. Nguyen
,
A. W. Roscoe
Mobile Electronic Identity: Securing Payment on Mobile Phones
Chen Bangdao
,
A. Roscoe