LangSec 2014: Workshop on Language-Theoretic Security | IEEE Conference Publication | IEEE Xplore