5255 search results - page 18 / 1051 » Formal Methods for Privacy |
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
FM
2008
Springer
13 years 9 months ago
2008
Springer
SP
1996
IEEE
13 years 11 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
ISSE
2010
13 years 6 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
TKDE
2012
11 years 10 months ago
2012
—This paper considers a cloud computing setting in which similarity querying of metric data is outsourced to a service provider. The data is to be revealed only to trusted users,...