On opacity and diagnosability in discrete event systems modeled by pushdown automata | IEEE Conference Publication | IEEE Xplore