293 search results - page 51 / 59 » Formal Security Analysis with Interacting State Machines |
ECOWS
2009
Springer
13 years 11 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
AHS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
EUROCRYPT
2003
Springer
14 years 23 days ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
AGENTCL
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...