752 search results - page 36 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
CONCUR
2000
Springer
14 years 3 days ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
RAID
2007
Springer
14 years 2 months ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...