4511 search results - page 492 / 903 » Observation Based System Security |
167
Voted
DIM
2009
ACM
15 years 9 months ago
2009
ACM
For e-commerce companies providing online services, fraudulent access resulting from theft of identity credentials is a serious concern. Such online service providers deploy a var...
167
click to vote
ANCS
2007
ACM
15 years 9 months ago
2007
ACM
The importance of network security has grown tremendously and a collection of devices have been introduced, which can improve the security of a network. Network intrusion detectio...
139
Voted
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
140
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
144
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...