718 search results - page 12 / 144 » Security protocols, properties, and their monitoring |
114
click to vote
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
110
click to vote
WOTE
2010
14 years 9 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
IEEEIAS
2007
IEEE
15 years 6 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
SASN
2006
ACM
15 years 5 months ago
2006
ACM
We investigate the design space of sensor network broadcast authentication. We show that prior approaches can be organized based on a taxonomy of seven fundamental proprieties, su...
ADHOCNOW
2008
Springer
15 years 6 months ago
2008
Springer
The development of Wireless Body Area Networks (WBANs) for wireless sensing and monitoring of a person’s vital functions, is an enabler in providing better personal health care w...