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

Meredith L. Patterson clonearmy at gmail.com
Tue Jul 9 16:43:42 UTC 2013


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

State machine formalisations of interaction patterns? I'm entirely in
favour of this.

Is he on this list? If not, mind inviting him?

Cheers,
- --mlp

On 07/09/2013 06:31 PM, Nils Dagsson Moskopp wrote:
> I met Dragan Espenschied at SIGINT; as I understood him he mused
> one might be able to determine the language power represented by
> user interface primitives (I assume he means widgets and common
> widget combinations like password dialogs) and construct a library
> of widgets suitable for a given task that necessitates a specific
> language power.
> 
> 
> 
> 
> _______________________________________________ langsec-discuss
> mailing list langsec-discuss at mail.langsec.org 
> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iF4EAREIAAYFAlHcPb4ACgkQcTuZgmLblxRTQwD9FkaYJnz3/qFKdyXzwA2c0+nt
5KnwV5/+sYZ9lhRR+DkA/3469zuSOHtccbRKRL3iMpVNIh5AvJC2EWkej4ztIeZs
=BOuo
-----END PGP SIGNATURE-----


More information about the langsec-discuss mailing list