Numerical Problems in XBRL Reports and the Use of Blockchain as Trust Enabler

  • Gianfranco d’Atri
  • Van Thanh Le
  • Dino Garrì
  • Stella d’AtriEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11973)


Financial statements are formal records of the financial activities that companies use to provide an accurate picture of their financial history. Their main purpose is to offer all the necessary data for an accurate assessment of the economic situation of a company and its ability to attract stakeholders. Our goal is to investigate how Benford’s law can be used to detect fraud in a financial report with the support of trustworthiness by blockchain.


Financial models Blockchain Laws of Bradford and Zipf 



This research is partially supported by POR Calabria FESR-FSE 2014-2020, research project IoT&B, CUP J48C17000230006.


  1. 1.
    Cachin, C.: Architecture of the hyperledger blockchain fabric. In: Workshop on Distributed Cryptocurrencies and Consensus Ledgers (2016)Google Scholar
  2. 2.
    Durtschi, C., Hillison, W., Pacini, C.: The effective use of benford’s law to assist in detecting fraud in accounting data. J. Forensic Account. 5(1), 17–34 (2004)Google Scholar
  3. 3.
    D’Atri, G.: Logic-based consistency checking of XRBL instances. IJACT 3–6, 126–131 (2014)Google Scholar
  4. 4.
    D’Atri, G., Le, V.T., Ioini, N.E., Pahl, C.: Towards trustworthy financial reports using blockchain. Cloud Comput. 2019, 47 (2019)Google Scholar
  5. 5.
    Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Minker, J. (ed.) Logic-Based Artificial Intelligence. The Springer International Series in Engineering and Computer Science, vol. 597, pp. 79–103. Springer, Boston (2000). Scholar
  6. 6.
    Ethereum Foundation: Ethereum (2013). Accessed 10 Apr 2019
  7. 7.
    Fewster, R.: A simple explanation of Benford’s law. Am. Stat. 63, 26–32 (2009)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3), 365–385 (1991). CrossRefzbMATHGoogle Scholar
  9. 9.
    Malhotra, R., Garritt, F.: Extensible business reporting language: the future of e-commerce-driven accounting. Int. J. Bus. 9(1) (2004)Google Scholar
  10. 10.
    Nakamoto, S., et al.: Bitcoin: a peer-to-peer electronic cash system (2008)Google Scholar
  11. 11.
    Narayanan, A., Bonneau, J., Felten, E., Miller, A., Goldfeder, S.: Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction. Princeton University Press, Princeton (2016)zbMATHGoogle Scholar
  12. 12.
    NEO: NEO Smart Economy (2013). Accessed 06 Oct 2019
  13. 13.
    Nigrini, M.J.: Benford’s Law: Applications for Forensic Accounting, Auditing, and Fraud Detection, vol. 586. Wiley, Hoboken (2012)CrossRefGoogle Scholar
  14. 14.
    Ricca, F., Gallucci, L., Schindlauer, R., Dell’Armi, T., Grasso, G., Leone, N.: Ontodlv: an ASP-based system for enterprise ontologies. J. Logic Comput. 19, 643–670 (2009)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: the DLV+ system. J. Appl. Logic 5, 545–573 (2007)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Gianfranco d’Atri
    • 1
    • 4
  • Van Thanh Le
    • 2
  • Dino Garrì
    • 3
  • Stella d’Atri
    • 4
    Email author
  1. 1.Department of Mathematics and Computer ScienceUniversity of CalabriaRendeItaly
  2. 2.Faculty of Computer ScienceFree University of BolzanoBolzanoItaly
  3. 3.BlockchainLabMilanItaly
  4. 4.Blockchain GovernanceCosenzaItaly

Personalised recommendations