Pre-Shared Key

[Artemis Georgopoulou]

Hello people!

Could you please tell me, if you know, if there is a proper way to have a pre-shared key between a client and a server?

Thanks in advance! :)

[Alexandre Anzala-Yamajako]

Hi Artemis,

Can t you simply create 2 facts ClientKey(k), ServerKey(k) as the result of a key generation rule with no precondition ?

Cheers 

--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/f884ad20-f80c-4da2-a6f1-f448680c4554n%40googlegroups.com.

--

Alexandre Anzala-Yamajako

[Daniel Andrade]

Hello,

I think another option would be using a private function as secret key to use on both client and server. For example:

functions: shared_key/0 [private]

or if you want to have multiple shared keys then

functions: shared_key/1 [private]

and then use with some kind of identifier like shared_key($some_id).