2270 search results - page 289 / 454 » Modelling Secure IT Systems - A Survey |
142
Voted
JAIR
2000
15 years 4 months ago
2000
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
140
click to vote
HOTOS
2003
IEEE
15 years 10 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
140
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Intrusion detection systems (IDSs) have reached a high level of sophistication and are able to detect intrusions with a variety of methods. Unfortunately, system administrators ne...
150
click to vote
WORM
2003
15 years 6 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
164
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...