2 search results - page 1 / 1 » A Semiring-Based Trace Semantics for Processes with Applicat... |
IFIPTCS
2010
13 years 3 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...