1407 search results - page 47 / 282 » Systems Theory Model for Information Security |
CAI
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
MMSEC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
WIMOB
2008
IEEE
14 years 2 months ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...
ISI
2008
Springer
13 years 7 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...