A model of random sequences for de novo peptide sequencing | IEEE Conference Publication | IEEE Xplore