1653 search results - page 154 / 331 » Timed analysis of security protocols |
111
Voted
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
132
Voted
ADHOCNOW
2005
Springer
15 years 9 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
154
Voted
ACNS
2003
Springer
15 years 8 months ago
2003
Springer
A (t, n) threshold signature scheme allows t or more group members to generate signatures on behalf of a group with n members, while any t−1 or less members cannot do the same th...
116
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a new efficient and secure micro-payment scheme, named e-coupons, which can provide the users the facility of delegating their spending capability to oth...
158
Voted
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...