26 search results - page 2 / 6 » Verifying Programs with Unreliable Channels |
FM
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
– Recent wireless measurement studies have revealed the presence of high-order memory in wireless bit-error channels. However, most wireless studies continue to employ the memory...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
COOPIS
2004
IEEE
13 years 9 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
IFIP
2009
Springer
13 years 12 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...