[langsec-discuss] user interface analysis in terms of LANGSEC

Nils Dagsson Moskopp nils at dieweltistgarnichtso.net
Tue Jul 9 21:23:29 UTC 2013


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

"Meredith L. Patterson" <clonearmy at gmail.com> schrieb am Tue, 09 Jul
2013 18:43:42 +0200:

> State machine formalisations of interaction patterns? I'm entirely in
> favour of this.
> 
> Is he on this list? If not, mind inviting him?

I already sent him a message regarding LANGSEC and this mailing list.

- -- 
Nils Dagsson Moskopp // erlehmann
<http://dieweltistgarnichtso.net>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iF4EAREIAAYFAlHcf1EACgkQZGjbY/Ag5QlW2gD9GbPnCRzhPpe0ncJA9Pwx7Yoa
NLsF1WSD6r1JjkP+slMA/Av4v0/b+B8b2YM1O378D52HEyD32ZhEyAFV7z6ukdCN
=yXmU
-----END PGP SIGNATURE-----


More information about the langsec-discuss mailing list