equal
deleted
inserted
replaced
30 } |
30 } |
31 |
31 |
32 |
32 |
33 @Unpublished{WuZhangUrban12, |
33 @Unpublished{WuZhangUrban12, |
34 author = {C.~Wu and X.~Zhang and C.~Urban}, |
34 author = {C.~Wu and X.~Zhang and C.~Urban}, |
35 title = {???}, |
35 title = {{A} {F}ormal {M}odel and {C}orrectness {P}roof for an |
|
36 {A}ccess {C}ontrol {P}olicy {F}ramework}, |
36 note = {Submitted}, |
37 note = {Submitted}, |
37 year = {2012} |
38 year = {2013} |
38 } |
39 } |
39 |
40 |
40 @book{Boolos87, |
41 @book{Boolos87, |
41 author = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey}, |
42 author = {G.~Boolos and J.~P.~Burgess and R.~C.~Jeffrey}, |
42 title = {{C}omputability and {L}ogic (5th~ed.)}, |
43 title = {{C}omputability and {L}ogic (5th~ed.)}, |