 — D. Evans and D. Larochelle, 2002
By using LBS, the security of software can be increased in several areas, depending on the techniques used.Common programming errors such as allowing buffer overflows and illegal information flows to occur, can be detected and disallowed in the software used by the consumer.It is also desirable to provide some proof to the consumer about the security properties of the software, making the consumer able to trust the software without having to receive the source code and self checking it for errors.