Can I read NSF Workshop on Security Methods Report on EtoBox?

NSF Workshop on Security Methods Report by zainab is a document available to read on EtoBox.

What is NSF Workshop on Security Methods Report about?

The document reports on the NSF workshop on formal methods for security held November 19-20, 2015. It discusses three topics: 1) Formal verification of an actor relocation algorithm for safety-critical applications using complementary formal and informal techniques, 2) A paper presenting a movement control actor relocation algorithm for wireless sensor networks that aims to improve coverage while minimizing movement overhead, modeled as a dynamic graph and specified using Z notation, 3) Formal specification

Author

zainab

Language

EN