1407 search results - page 223 / 282 » Systems Theory Model for Information Security |
SLOGICA
2008
13 years 9 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
DBSEC
2006
13 years 10 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...
DOLAP
2004
ACM
14 years 2 months ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
EUROSYS
2007
ACM
14 years 1 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
SDM
2008
SIAM
13 years 10 months ago
2008
SIAM
Network security has been a serious concern for many years. For example, firewalls often record thousands of exploit attempts on a daily basis. Network administrators could benefi...