Sciweavers

497 search results - page 14 / 100
» A knowledgeable security model for distributed health inform...
Sort
View
AH
2004
Springer
14 years 15 days ago
A Learner Model in a Distributed Environment
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
Cristina Carmona, Ricardo Conejo
CCS
2004
ACM
14 years 2 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
WWW
2008
ACM
14 years 9 months ago
Secure or insure?: a game-theoretic analysis of information security games
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
Jens Grossklags, Nicolas Christin, John Chuang
DBSEC
2007
106views Database» more  DBSEC 2007»
13 years 10 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
LBM
2007
13 years 10 months ago
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
Bo Hu, Srinandan Dasmahapatra, David Robertson, Pa...