Sciweavers

12478 search results - page 397 / 2496
» Secure Interaction Design
Sort
View
APN
2008
Springer
15 years 8 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
JALC
2006
125views more  JALC 2006»
15 years 6 months ago
A Confinement Criterion for Securely Executing Mobile Code
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
Hervé Grall
INFOCOM
2011
IEEE
14 years 10 months ago
Secure friend discovery in mobile social networks
– Mobile social networks extend social networks in the cyberspace into the real world by allowing mobile users to discover and interact with existing and potential friends who ha...
Wei Dong, Vacha Dave, Lili Qiu, Yin Zhang
175
Voted
CHI
2005
ACM
16 years 7 months ago
AppLens and launchTile: two designs for one-handed thumb use on small devices
We present two interfaces to support one-handed thumb use for PDAs and cell phones. Both use Scalable User Interface (ScUI) techniques to support multiple devices with different r...
Amy K. Karlson, Benjamin B. Bederson, John SanGiov...
CHI
2004
ACM
16 years 7 months ago
Fan-out: measuring human control of multiple robots
A goal of human-robot interaction is to allow one user to operate multiple robots simultaneously. In such a scenario the robots provide leverage to the user's attention. The ...
Dan R. Olsen, Stephen Bart Wood