Language-theoretic Security edit / delete

"The Language-theoretic approach (LANGSEC) regards the Internet insecurity epidemic as a consequence of ad hoc programming of input handling at all layers of network stacks, and in other kinds of software stacks." Some interesting work, although it's obviously focussing on one class of problem...

to langsec language-design parser proof security verification ... on 03 January 2015

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to langsec

- langsec
1 + language-design
1 + parser
1 + proof
1 + security
1 + verification