-
Automatic Verification of Security Protocols Using Approximations
Security protocols are widely used in open modern networks to ensure safe communications. It is now recognized that formal analysis can provide the level of assurance... -
Contribution to the implementation of a wireless network embeded on an aircra...
In a plane, a helicopter or a launcher, thousands of sensors, most non critics are used for the measurement of various parameters (temperatures, pressures, positions...
