Greetings. I am new to the categories list. I would like to receive any pointers to work that has been done applying category theory to computer security. I realize this is perhaps a broad query, but any information would be great! Thanks! Keith Williamson Mathematics & Computing Technology Boeing Phantom Works, Seattle WA