ESORICS
2011
Springer
12 years 4 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
INTERACT
2003
13 years 6 months ago
2003
: One of the main operations in conceptual 3D design is the rearrangement of single and composite objects. This paper presents a new conceptual 3D design system that affords easy m...
GRAPHICSINTERFACE
2001
13 years 6 months ago
2001
Content creation for computer graphics applications is a laborious process that requires skilled personnel. One fundamental problem is that manipulation of 3D objects with 2D user...
CHI
2002
ACM
14 years 5 months ago
2002
ACM
When creating techniques for manipulating objects at a distance in immersive virtual environments, researchers have primarily focused on increasing selection range, placement rang...