89 search results - page 14 / 18 » Improving user verification by implementing an agent-based s... |
VEE
2006
ACM
14 years 1 months ago
2006
ACM
Virtual Machine Monitors (VMMs) are a common tool for implementing honeypots. In this paper we examine the implementation of a VMM-based intrusion detection and monitoring system ...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...
PLDI
2010
ACM
14 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
WETICE
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we introduce Social VPNs, a novel system architecture which leverages existing social networking infrastructures to enable ad-hoc VPNs which are self-configuring, s...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
The broadcast and tetherless nature of wireless networks and the widespread deployment of Wi-Fi hotspots makes it easy to remotely locate a user by observing her wireless signals....