1222 search results - page 133 / 245 » Verifying a File System Implementation |
121
Voted
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
158
Voted
CBSE
2011
Springer
14 years 2 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
124
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
114
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
140
Voted
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
A widely used approach to avoid network intrusion is SNORT, an open source Network Intrusion Detection System (NIDS). This work describes SPP-NIDS, a architecture for intrusion de...