4731 search results - page 228 / 947 » Securing Interactive Programs |
121
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
119
Voted
DISCEX
2003
IEEE
15 years 7 months ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...
IWEC
2004
2004
The Design and Implementation of Multi-player Card Games on Multi-user Interactive Tabletop Surfaces
15 years 3 months ago
We present the design and implementation of a card game architecture for mulit-user interactive tabletop surfaces. Our system is built on the DiamondTouch, a touch-sensitive input ...
119
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
124
click to vote
USENIX
2004
15 years 3 months ago
2004
With the advent of large-scale, wide-area networking testbeds, researchers can deploy long-running distributed services that interact with other resources on the Web. The CoDeeN C...