[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: Ideas for model-checking probabilistic consensus systems?

If you're prepared to look beyond model checking you could start with McIver & Morgan's monograph. Probabilistic aspects as those described formally in the book become quite important when investigating the presence of covert channels in systems that are meant to protect secrets. There's quite an active area of research around that. You could look for quantitative information flow if you wanted to learn more.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6bda9d4e-9161-4eaf-8d40-91563d9c3bb3%40googlegroups.com.