1499 search results - page 14 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
85
Voted
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
IADIS
2009
14 years 7 months ago
2009
In this paper we present our evaluations of using an Information Retrieval library in a commercial employment website with over 300,000 searches a day. Comparison of existing rela...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
TSE
2011
14 years 4 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...