293 search results - page 18 / 59 » Formal Security Analysis with Interacting State Machines |
ACL
1997
13 years 9 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
EDUTAINMENT
2006
Springer
13 years 11 months ago
2006
Springer
This paper explores the nature of player behaviour in game environments in relation to the methodology of the dramatist Bertolt Brecht. Firstly, a conceptualisation of how manipula...
LOPSTR
2001
Springer
14 years 23 hour ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...