Sciweavers

2 search results - page 1 / 1
» On the verification of Wireless Transaction Protocol using S...
Sort
View
75
Voted
RTCSA
2000
IEEE
15 years 5 months ago
On the verification of Wireless Transaction Protocol using SGM and RED
Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen
125
Voted
MOBISYS
2008
ACM
16 years 4 days ago
Trustworthy and personalized computing on public kiosks
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
Scott Garriss, Ramón Cáceres, Stefan...