433 search results - page 22 / 87 » Static Information Flow Analysis of Workflow Models |
ENTCS
2010
13 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
NETWORKING
2004
13 years 9 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
CAISE
2000
Springer
14 years 14 hour ago
2000
Springer
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...
MOBICOM
2004
ACM
14 years 1 months ago
2004
ACM
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...