3420 search results - page 32 / 684 » A Language-Based Approach to Security |
AAAI
2010
13 years 11 months ago
2010
Security games, and important class of Stackelberg games, are used in deployed decision-support tools in use by LAX police and the Federal Air Marshals Service. The algorithms use...
BIRTHDAY
2012
Springer
12 years 5 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
ITNG
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...