434 search results - page 76 / 87 » Security Documentation |
SAFECOMP
2004
Springer
14 years 27 days ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
CIARP
2003
Springer
14 years 23 days ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
EDCC
2010
Springer
14 years 10 days ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
Microsoft Windows 2000 represents a major change in desktop and network operating systems. This latest Windows operating system includes many new features and technologies that wi...
CIIA
2009
13 years 8 months ago
2009
The increasing power of computers, increasing capacity of digital memory and wider availability of a great variety of input devices such as cameras and video recorders, has resulte...