Sciweavers

12478 search results - page 61 / 2496
» Secure Interaction Design
Sort
View
ESORICS
2002
Springer
16 years 2 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
120
Voted
VISUALIZATION
2002
IEEE
15 years 7 months ago
Case Study: Interactive Visualization for Internet Security
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
Soon Tee Teoh, Kwan-Liu Ma, Shyhtsun Felix Wu, Xia...
INTERACT
2003
15 years 3 months ago
The Augmented Round Table - a New Interface to Urban Planning and Architectural Design
: The Augmented Round Table provides a collaborative interactive AR environment, where users can interact naturally and intuitively. They may create and manipulate complex 3D geome...
Wolfgang Broll