@Article{BCG12,
   joint-pub = {false},
   status = {public},
   task = {T2.1},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   main = {no},
   accessible = {true},
   issn = {0960-1295},
   title = {{A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis}},
   author = {Michele Boreale and David Clark and Daniele Gorla},
   period = {year1},
   journal = {To appear on MSCS},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {UDF},
   wp = {wp1, wp5}
}