jueves, 25 de mayo de 2023

How To Spoof PDF Signatures

One year ago, we received a contract as a PDF file. It was digitally signed. We looked at the document - ignoring the "certificate is not trusted" warning shown by the viewer - and asked ourselfs:

"How do PDF signatures exactly work?"

We are quite familiar with the security of message formats like XML and JSON. But nobody had an idea, how PDFs really work. So we started our research journey.

Today, we are happy to announce our results. In this blog post, we give an overview how PDF signatures work and on top, we reveal three novel attack classes for spoofing a digitally signed PDF document. We present our evaluation of 22 different PDF viewers and show 21 of them to be vulnerable. We additionally evaluated 8 online validation services and found 6 to be vulnerable.

In cooperation with the BSI-CERT, we contacted all vendors, provided proof-of-concept exploits, and helped them to fix the issues and three generic CVEs for each attack class were issued: CVE-2018-16042CVE-2018-18688CVE-2018-18689.


Full results are available in the master thesis of Karsten Meyer zu Selhausen, in our security report, and on our website.

Digitally Signed PDFs? Who the Hell uses this?

Maybe you asked yourself, if signed PDFs are important and who uses them.
In fact, you may have already used them.
Have you ever opened an Invoice by companies such as Amazon, Sixt, or Decathlon?
These PDFs are digitally signed and protected against modifications.
In fact, PDF signatures are widely deployed in our world. In 2000, President Bill Clinton enacted a federal law facilitating the use of electronic and digital signatures in interstate and foreign commerce by ensuring the validity and legal effect of contracts. He approved the eSign Act by digitally signing it.
Since 2014, organizations delivering public digital services in an EU member state are required to support digitally signed documents, which are even admissible as evidence in legal proceedings.
In Austria, every governmental authority digitally signs any official document [§19]. In addition, any new law is legally valid after its announcement within a digitally signed PDF.
Several countries like Brazil, Canada, the Russian Federation, and Japan also use and accept digitally signed documents.
According to Adobe Sign, the company processed 8 billion electronic and digital signatures in the 2017 alone.

Crash Course: PDF and PDF Signatures

To understand how to spoof PDF Signatures, we unfortunately need to explain the basics first. So here is a breef overview.

PDF files are ASCII files. You can use a common text editor to open them and read the source code.

PDF header. The header is the first line within a PDF and defines the interpreter version to be used. The provided example uses version PDF 1.7. 
PDF body. The body defines the content of the PDF and contains text blocks, fonts, images, and metadata regarding the file itself. The main building blocks within the body are objects. Each object starts with an object number followed by a generation number. The generation number should be incremented if additional changes are made to the object.
In the given example, the Body contains four objects: Catalog, Pages, Page, and stream. The Catalog object is the root object of the PDF file. It defines the document structure and can additionally declare access permissions. The Catalog refers to a Pages object which defines the number of the pages and a reference to each Page object (e.g., text columns). The Page object contains information how to build a single page. In the given example, it only contains a single string object "Hello World!".
Xref table. The Xref table contains information about the position (byte offset) of all PDF objects within the file.
Trailer. After a PDF file is read into memory, it is processed from the end to the beginning. By this means, the Trailer is the first processed content of a PDF file. It contains references to the Catalog and the Xref table.

How do PDF Signatures work?

PDF Signatures rely on a feature of the PDF specification called incremental saving (also known as incremental update), allowing the modification of a PDF file without changing the previous content.
 
As you can see in the figure on the left side, the original document is the same document as the one described above. By signing the document, an incremental saving is applied and the following content is added: a new Catalog, a Signature object, a new Xref table referencing the new object(s), and a new Trailer. The new Catalog extends the old one by adding a reference to the Signature object. The Signature object (5 0 obj) contains information regarding the applied cryptographic algorithms for hashing and signing the document. It additionally includes a Contents parameter containing a hex-encoded PKCS7 blob, which holds the certificates as well as the signature value created with the private key corresponding to the public key stored in the certificate. The ByteRange parameter defines which bytes of the PDF file are used as the hash input for the signature calculation and defines 2 integer tuples: 
a, b : Beginning at byte offset a, the following b bytes are used as the first input for the hash calculation. Typically, a 0 is used to indicate that the beginning of the file is used while a b is the byte offset where the PKCS#7 blob begins.
c, d : Typically, byte offset c is the end of the PKCS#7 blob, while c d points to the last byte range of the PDF file and is used as the second input to the hash calculation.
According to the specification, it is recommended to sign the whole file except for the PKCS#7 blob (located in the range between a b and c).

Attacks

During our research, we discovered three novel attack classes on PDF signatures:

  1. Universal Signature Forgery (USF)
  2. Incremental Saving Attack (ISA)
  3. Signature Wrapping Attack (SWA)

In this blog post, we give an overview on the attacks without going into technical details. If you are more interested, just take a look at the sources we summarized for you here.

Universal Signature Forgery (USF)

The main idea of Universal Signature Forgery (USF) is to manipulate the meta information in the signature in such a way that the targeted viewer application opens the PDF file, finds the signature, but is unable to find all necessary data for its validation.

Instead of treating the missing information as an error, it shows that the contained signature is valid. For example, the attacker can manipulate the Contents or ByteRange values within the Signature object. The manipulation of these entries is reasoned by the fact that we either remove the signature value or the information stating which content is signed.
The attack seems trivial, but even very good implementations like Adobe Reader DC preventing all other attacks were susceptible against USF.

Incremental Saving Attack (ISA)



The Incremental Saving Attack (ISA) abuses a legitimate feature of the PDF specification, which allows to update a PDF file by appending the changes. The feature is used, for example, to store PDF annotations, or to add new pages while editing the file.

The main idea of the ISA is to use the same technique for changing elements, such as texts, or whole pages included in the signed PDF file to what the attacker desires.
In other words, an attacker can redefine the document's structure and content using the Body Updates part. The digital signature within the PDF file protects precisely the part of the file defined in the ByteRange. Since the incremental saving appends the Body Updates to the end of the file, it is not part of the defined ByteRange and thus not part of the signature's integrity protection. Summarized, the signature remains valid, while the Body Updates changed the displayed content.
This is not forbidden by the PDF specification, but the signature validation should indicate that the document has been altered after signing.

Signature Wrapping Attack (SWA)

Independently of the PDFs, the main idea behind Signature Wrapping Attacks is to force the verification logic to process different data than the application logic.

In PDF files, SWA targets the signature validation logic by relocating the originally signed content to a different position within the document and inserting new content at the allocated position. The starting point for the attack is the manipulation of the ByteRange value allowing to shift the signed content to different loctions within the file.

On a very technical level, the attacker uses a validly signed document (shown on the left side) and proceeds as follows:


  • Step 1 (optional): The attacker deletes the padded zero Bytes within the Contents parameter to increase the available space for injecting manipulated objects.
  • Step 2: The attacker defines a new /ByteRange [a b c* d] by manipulating the c value, which now points to the second signed part placed on a different position within the document.
  • Step 3: The attacker creates a new Xref table pointing to the new objects. It is essential that the byte offset of the newly inserted Xref table has the same byte offset as the previous Xref table. The position is not changeable since it is refer- enced by the signed Trailer. For this purpose, the attacker can add a padding block (e.g., using whitespaces) before the new Xref table to fill the unused space.
  • Step 4: The attacker injects malicious objects which are not protected by the signature. There are different injection points for these objects. They can be placed before or after the malicious Xref table. If Step 1 is not executed, it is only possible to place them after the malicious Xref table.
  • Step 5 (optional): Some PDF viewers need a Trailer after the manipulated Xref table, otherwise they cannot open the PDF file or detect the manipulation and display a warning message. Copying the last Trailer is sufficient to bypass this limitation.
  • Step 6: The attacker moves the signed content defined by c and d at byte offset c*. Optionally, the moved content can be encapsulated within a stream object. Noteworthy is the fact that the manipulated PDF file does not end with %%EOF after the endstream. The reason why some validators throw a warning that the file was manipulated after signing is because of an %%EOF after the signed one. To bypass this requirement, the PDF file is not correctly closed. However, it will be still processed by any viewer.

Evaluation

In our evaluation, we searched for desktop applications validating digitally signed PDF files. We analyzed the security of their signature validation process against our 3 attack classes. The 22 applications fulfill these requirements. We evaluated the latest versions of the applications on all supported platforms (Windows, MacOS, and Linux).


Authors of this Post

Vladislav Mladenov
Christian Mainka
Karsten Meyer zu Selhausen
Martin Grothe
Jörg Schwenk

Acknowledgements

Many thanks to the CERT-Bund team for the great support during the responsible disclosure.
We also want to acknowledge the teams which reacted to our report and fixed the vulnerable implementations.

More information


  1. Bluetooth Hacking Tools Kali
  2. Hacking Tools Github
  3. Hack Tools Mac
  4. Ethical Hacker Tools
  5. Hacking Tools For Pc
  6. Pentest Tools Online
  7. Hacks And Tools
  8. Pentest Tools For Windows
  9. Hacking Tools Pc
  10. Hacker Tools List
  11. Pentest Tools Windows
  12. Free Pentest Tools For Windows
  13. Android Hack Tools Github
  14. Hacker Tools Apk Download
  15. Hacker Tools Github
  16. Hacker Tools For Ios
  17. Hacker Tools
  18. Hack And Tools
  19. Pentest Tools Github
  20. Hak5 Tools
  21. Hacker Tools Apk Download
  22. Hacker Tools For Ios
  23. Easy Hack Tools
  24. Hacking Tools For Windows 7
  25. Kik Hack Tools
  26. Hacking Tools For Windows
  27. Pentest Tools Tcp Port Scanner
  28. Pentest Tools For Android
  29. Hack Rom Tools
  30. Pentest Tools List
  31. Pentest Recon Tools
  32. Hack Apps
  33. What Is Hacking Tools
  34. Pentest Tools Alternative
  35. Hacking Tools Pc
  36. Tools For Hacker
  37. Hacking Tools Hardware
  38. Pentest Tools
  39. Pentest Tools Bluekeep
  40. Pentest Tools Download
  41. Hack Tool Apk No Root
  42. Pentest Tools Open Source
  43. Pentest Tools For Ubuntu
  44. Pentest Tools Nmap
  45. Hacking Tools For Beginners
  46. Hacker Tools For Ios
  47. Hacking Tools For Beginners
  48. Hacking Tools For Windows 7
  49. Pentest Tools Website
  50. Free Pentest Tools For Windows
  51. Bluetooth Hacking Tools Kali
  52. Hacking Tools Name
  53. Hack Tools Pc
  54. Bluetooth Hacking Tools Kali
  55. Android Hack Tools Github
  56. Hacking App
  57. Hacking App
  58. Hacker Tools 2019
  59. Hacking Tools Free Download
  60. Hacking Tools Windows 10
  61. Pentest Reporting Tools
  62. Easy Hack Tools
  63. Hack Apps
  64. Kik Hack Tools
  65. Ethical Hacker Tools
  66. Pentest Tools Find Subdomains
  67. Pentest Automation Tools
  68. Pentest Tools Website
  69. Pentest Tools For Windows
  70. Tools For Hacker
  71. Termux Hacking Tools 2019
  72. Hack Tools Online
  73. Hacking Tools Name
  74. Pentest Tools Download
  75. Hack Tools 2019
  76. Hacker Hardware Tools
  77. Hacker Tools Software
  78. Physical Pentest Tools
  79. Hackers Toolbox
  80. Ethical Hacker Tools
  81. Hack Website Online Tool
  82. Blackhat Hacker Tools
  83. How To Make Hacking Tools
  84. Hacker Search Tools
  85. Android Hack Tools Github
  86. What Are Hacking Tools
  87. Pentest Tools For Android
  88. Pentest Tools Windows
  89. Pentest Tools Tcp Port Scanner
  90. Hack Tools For Pc
  91. Hack Tools
  92. Hackrf Tools
  93. Hacking Tools Usb
  94. Pentest Tools Kali Linux
  95. World No 1 Hacker Software
  96. Pentest Tools Find Subdomains
  97. Pentest Box Tools Download
  98. Pentest Tools Website
  99. Hacker Hardware Tools
  100. Pentest Tools For Android
  101. Hacker Tools Free
  102. Hack Tools For Games
  103. Pentest Tools Port Scanner
  104. How To Install Pentest Tools In Ubuntu
  105. Hacking Tools Windows 10
  106. Pentest Tools Free
  107. Hacking Tools Name
  108. Android Hack Tools Github
  109. Hacker Tools List
  110. Hacker Tools Mac
  111. Hack Tools Download
  112. Tools 4 Hack
  113. Pentest Tools Windows
  114. Hack Tool Apk No Root
  115. Pentest Tools Github
  116. Tools For Hacker
  117. Best Hacking Tools 2020
  118. Pentest Tools
  119. Hacking Tools Usb
  120. Pentest Tools Find Subdomains
  121. Pentest Tools Website
  122. Hacker Tools 2020
  123. Hacker Tools Free Download
  124. Hacker Tools Free
  125. Hacker Tools 2019
  126. What Are Hacking Tools
  127. Easy Hack Tools
  128. Hacker Tools Linux
  129. Hack Tools Mac
  130. Pentest Tools Github
  131. Computer Hacker
  132. Hack Rom Tools
  133. Hackrf Tools
  134. Hack Tools For Games
  135. Hacking Tools
  136. Hacking Tools For Windows 7
  137. Hack Tools
  138. Pentest Tools Port Scanner
  139. Hackers Toolbox
  140. Best Pentesting Tools 2018
  141. Best Pentesting Tools 2018
  142. Hacker Tools Mac
  143. Pentest Tools Subdomain
  144. Computer Hacker
  145. Termux Hacking Tools 2019
  146. Hack Apps
  147. Hacker Tools Github
  148. Pentest Tools Url Fuzzer
  149. Hack And Tools
  150. Hacking Tools Hardware
  151. Pentest Reporting Tools
  152. Hacking Tools
  153. Hak5 Tools
  154. Hacker Tools Github
  155. Pentest Tools Download
  156. Hacker Techniques Tools And Incident Handling
  157. Hacking Tools Free Download
  158. What Are Hacking Tools

No hay comentarios:

Publicar un comentario