5255 search results - page 523 / 1051 » Formal Methods for Privacy |
182
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
158
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
155
click to vote
CCS
1994
ACM
15 years 11 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
183
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
151
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...