718 search results - page 13 / 144 » Security protocols, properties, and their monitoring |
123
click to vote
CSFW
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
COMCOM
2000
14 years 11 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
ETS
2010
IEEE
15 years 24 days ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Edge networks connected to the Internet need effective monitoring techniques to drive routing decisions and detect violations of Service Level Agreements (SLAs). However, existing...
115
click to vote
USS
2010
14 years 9 months ago
2010
Wireless networks are being integrated into the modern automobile. The security and privacy implications of such in-car networks, however, are not well understood as their transmi...