Entry Li:2010:ASI from tcs2010.bib
Last update: Sun Mar 31 03:12:29 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Li:2010:ASI,
author = "Peng Li and Steve Zdancewic",
title = "Arrows for secure information flow",
journal = j-THEOR-COMP-SCI,
volume = "411",
number = "19",
pages = "1974--1994",
day = "6",
month = apr,
year = "2010",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Mar 28 17:10:29 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- flow,
411(31)2798,
412(4)391,
412(24)2577,
412(32)4123,
412(43)6036,
412(48)6712,
416(1)87,
467(z)68,
470(z)93,
484(z)70,
524(z)78,
526(z)28,
538(z)124,
538(z)167,
544(z)74,
550(z)1
- information,
411(7)1202,
411(19)1918,
411(26)2602,
411(29)2696,
412(23)2486,
412(28)3072,
412(29)3731,
412(42)5939,
426(1)25,
454(1)240,
457(1)35,
467(z)68,
484(z)70,
493(z)2,
520(z)11,
520(z)43,
538(z)124,
538(z)167
- secure,
411(40)3614,
412(35)4471,
412(40)5631,
414(1)38,
462(1)39,
469(z)1,
478(z)76,
539(z)87,
560(z)12