1106 search results - page 133 / 222 » Automated Design of Security Protocols |
ICSM
2008
IEEE
15 years 4 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...
ADVIS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, a practical and secure e-mail system (called “PractiSES”) that performs public key distribution and management in a unique way is proposed. PractiSES is a networ...
EEE
2004
IEEE
15 years 1 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...
118
click to vote
WMASH
2003
ACM
15 years 3 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...