Skip to main content

Dartmouth Digital Library Collections

You've searched:

All Collections
  • All fields: safety-critical
(2 results)



Display: 50

    • Type-safe operating system abstractions.

    • Type-safe operating system abstractions.
    • Operating systems (Computers) -- Security measures. ; Device drivers (Computer programs).
    • Operating systems and low-level applications are usually written in languages like C and assembly, which provide access to low-level abstractions. These languages have unsafe type systems that allow many bugs to slip by programmers. For example, in...
    • Attribute-based, usefully secure email.

    • Attribute-based, usefully secure email.
    • Electronic mail systems -- Security measures. Electronic mail systems -- Social aspects. Trust.
    • A secure system that cannot be used by real users to secure real-world processes is not really secure at all. While many believe that usability and security are diametrically opposed, a growing body of research from the field of Human-Computer...

QuickView

Display a larger image and more item information when the pointer pauses over a thumbnail
on off
 

Layout options:

Thumbnail with title
Grid with smaller thumbnails and more detail
Select the collections to add or remove from your search
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
 
OK