Date: Sun, 29 May 2011 22:17:41 +0200 From: Mateusz Kocielski <shm@freebsd.org> To: soc-status@freebsd.org Cc: "Robert N. M. Watson" <rwatson@freebsd.org> Subject: Testing temporal properties with Temporally Enhanced Security Logic Assertions - week 1 Message-ID: <BANLkTinEuyXrSiz_rLaKaXPYzOeYwDfzuQ@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
Hello,
My project is Testing temporal properties with Temporally Enhanced
Security Logic Assertions (TESLA). Its wikipage is available at [1].
You can find there more information on project as well as schedule and
links to repository.
What was done this week:
- writing test cases for the TeslaInsrumenter
- setting up testing environment (on kvm)
- writing basic examples of using TESLA (userland)
My plans for the next week:
- move testing environment to virtualbox
- polish up test suite for the TeslaInstrumenter (discuss it with TI
developers)
- write some basic tesla assertions for the kernel and test it
- read MAC framework code
- write schedule for MAC framework testing
- (hopefully) start MAC testing (e.g. replace mac_test module with
tesla automata)
Please contact me in case of any questions. Usually best way of
communication with me is IRC, I'm shm at freenode.
[1] - http://wiki.freebsd.org/ShmSoc2011
Regards,
Mateusz Kocielski
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?BANLkTinEuyXrSiz_rLaKaXPYzOeYwDfzuQ>