1454 search results - page 223 / 291 » Stateful traits and their formalization |
155
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
148
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
133
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
158
click to vote
IWIA
2005
IEEE
15 years 12 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
162
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...