4731 search results - page 132 / 947 » Securing Interactive Programs |
IIWAS
2007
13 years 10 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...
JSS
2010
13 years 7 months ago
2010
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
COMPLEXITY
2007
13 years 9 months ago
2007
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...
SOUPS
2006
ACM
14 years 2 months ago
2006
ACM
– In this paper we describe the protection goals and mechanisms in HomePlug AV, a next-generation power-line communications standard. This is a fascinating case-history in securi...
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...