DBLP is more complete.
Note that copyright for many of the papers published in the LNCS series is held by Springer.
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond Choo. Formal Analysis of Secure Contracting Protocol for E-Tendering, Fourth Australasian Information Security Workshop (AISW-NetSec 2006), Volume 54 - CRPIT series, pp. 155 - 164, Australian Computer Society, 2006.