Sciweavers

4052 search results - page 626 / 811
» integration 2007
Sort
View
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
16 years 1 months ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...
SRDS
2007
IEEE
16 years 1 months ago
Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage
We are witnessing a revival of Storage Service Providers in the form of new vendors as well as traditional players. While storage outsourcing is cost-effective, many companies are...
Vishal Kher, Yongdae Kim
SRDS
2007
IEEE
16 years 1 months ago
Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao
TABLETOP
2007
IEEE
16 years 1 months ago
Affective Tabletop Game: A New Gaming Experience for Children
In this paper, we discuss various options for enhancing the gaming experience in augmented tabletop games. More specifically, we propose to incorporate psychophysiological measure...
Abdullah Al Mahmud, Omar Mubin, Johanna Renny Octa...
TASE
2007
IEEE
16 years 1 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...