154 search results - page 30 / 31 » Modeling and Analyzing Security in the Presence of Compromis... |
SAFECOMP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
SP
2005
IEEE
13 years 11 months ago
2005
IEEE
So far, sensor network broadcast protocols assume a trustworthy environment. However, in safety and missioncritical sensor networks this assumption may not be valid and some senso...
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
TDSC
2008
13 years 5 months ago
2008
Inspired by unidirectional error detecting codes that are used in situations where only one kind of bit error is possible (e.g., it is possible to change a bit "0" into a...
CCS
2009
ACM
14 years 13 days ago
2009
ACM
Genome-wide association studies (GWAS) aim at discovering the association between genetic variations, particularly single-nucleotide polymorphism (SNP), and common diseases, which...