Sciweavers

3804 search results - page 274 / 761
» interactions 2008
Sort
View
CCR
2000
101views more  CCR 2000»
15 years 6 months ago
Knowledge-proof based versatile smart card verification protocol
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
Dae Hun Nyang, Joo-Seok Song
189
Voted
JUCS
2008
166views more  JUCS 2008»
15 years 6 months ago
ASM Refinement Preserving Invariants
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
Gerhard Schellhorn
BCSHCI
2008
15 years 8 months ago
In search of tangible magic
This paper describes a small study of children's drawings in the context of tangible interaction. The study was intended to discover what children could draw that would indic...
Diana Yifan Xu, Janet C. Read, Robert Sheehan
CHI
2008
ACM
16 years 7 months ago
Expandable grids for visualizing and authoring computer security policies
We introduce the Expandable Grid, a novel interaction technique for creating, editing, and viewing many types of security policies. Security policies, such as file permissions pol...
Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor,...
SOCRATES
2008
124views Education» more  SOCRATES 2008»
15 years 8 months ago
A Web-based Learning Tool for applied Mathematics Disciplines
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...
Francesco Giannino, Mario Rosario Guarracino, Vale...