equal
deleted
inserted
replaced
50 year = {2008}, |
50 year = {2008}, |
51 howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
51 howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
52 } |
52 } |
53 |
53 |
54 |
54 |
55 |
55 @Article{Paulson98, |
|
56 author = {L.~C.~Paulson}, |
|
57 title = {{T}he {I}nductive {A}pproach to {V}erifying {C}ryptographic {P}rotocols}, |
|
58 journal = {Journal of Computer Security}, |
|
59 year = {1998}, |
|
60 volume = {6}, |
|
61 number = {1--2}, |
|
62 pages = {85--128} |
|
63 } |
56 |
64 |
57 @MISC{locke-july02, |
65 @MISC{locke-july02, |
58 author = {D. Locke}, |
66 author = {D. Locke}, |
59 title = {Priority Inheritance: The Real Story}, |
67 title = {Priority Inheritance: The Real Story}, |
60 month = July, |
68 month = July, |