Prüf- und Sicherungsmöglichkeiten bei INSIKA-Systemen

Transkript

1 PTB Workshop Sicherheit von Spielgeräten Prüf- und Sicherungsmöglichkeiten bei INSIKA-Systemen Jörg Wolff Physikalisch-Technische Bundesanstalt Berlin,

2 Wer kann INSIKA Daten prüfen? Was wird geprüft? INSIKA Kassendaten / Belege Unternehmer (Kassenbetreiber) Muttergesellschaft, Dienstleister, etc. Finanzverwaltung (Betriebsprüfung) INSIKA Prüfung: Prüfung der Integrität und Authentizität von Kassendaten und Belegen PTB Workshop , Jörg Wolff 2

3 Übersicht INSIKA Schnittstellen Prüfbare INSIKA Daten Prüfung von Kassenbelegen XML-Exportformat für aufgezeichnete Kassendaten INSIKA IVM-Software Prüfung von TIM-Daten (SmartCard) PTB Workshop , Jörg Wolff 3

4 INSIKA Signatur- und Exportschnittstelle INSIKA Kasse TIM TIM Signatur- schnittstelle TIM XML-Generator XML-Export- schnittstelle <?xml version="1.0" <?xml encoding="iso "?> version="1.0" <insika> <?xml encoding="iso "?> version="1.0" <insika> <document-information> encoding="iso "?> <insika> <document-information> </document-information> <document-information> <transaction> </document-information>... <transaction> </document-information>... <transaction>... Signatur- und Exportschnittstelle durch INSIKA definiert keine Vorgaben für interne Datenspeicherung der Kasse (Journal) XML-Kassendaten durch nachgeschaltetes System generierbar (XML-Generator) XML-Kassendaten PTB Workshop , Jörg Wolff 4

5 Flag Überlauf (1 Bit) Container Flag Umsatzsteuer- Flag Umsatzsteuer- Gesamt- Flag Umsatzsteuersatzwechsel satzwechsel Flag (1 Umsatzsteuer- Bit) (1 Bit) Gesamt- 1 satzwechsel Flag (1 Umsatzsteuer- Bit) speicher Gesamt- 2 satzwechsel Flag (1 Umsatzsteuer- Bit) speicher Gesamt- 3 satzwechsel (1 Bit) Gesamt- Umsatzsteuersatz satzwechsel (2 Byte BCD) speicher 4 Umsatzsteuersatz (2 Byte (1 Bit) BCD) speicher 5 Umsatzsteuersatz (2 Byte BCD) speicher 6 Umsatzsteuersatz (2 Byte BCD) Umsatzsteuersatz (2 Byte BCD) Negativumsatz (8 Umsatzsteuersatz Byte BCD) (2 Byte BCD) Negativumsatz (8 Byte BCD) Negativumsatz (8 Byte BCD) Negativumsatz (8 Byte BCD) Negativumsatz (8 Byte BCD) Umsatz (8 Byte Negativumsatz BCD) (8 Byte BCD) Umsatz (8 Byte BCD) Umsatz (8 Byte BCD) Umsatz (8 Byte BCD) Umsatz (8 Byte BCD) Umsatz (8 Byte BCD) Container Agenturgeschäft Buchungszähler (4 Byte BCD) Umsatz (8 Byte BCD) Container Lieferschein Buchungszähler (4 Byte BCD) Umsatz (8 Byte BCD) Flag Überlauf (1 Bit) Container Training Buchungszähler (4 Byte BCD) Umsatz (8 Byte BCD) Prüfbare Daten im INSIKA-System TIM INSIKA Kasse XML-Generator XYZ GmbH, Abbestr. 2, Berlin DE XYZ GmbH, Abbestr. 2, Berlin Frühstück DE Paris A 5,98 Kaffeebohnen Arabica 0,253 Frühstück kg x 9,99 /kg Paris = B A 2,53 5,98 Kaminholz Kaffeebohnen Buche Arabica A 14, ,253 kg x 9,99 /kg = B 2,53 Summe Kaminholz Buche A 20,96 14, USt.Satz Summe Nettoumsatz USt. 20,96 A 19% 17,61 3,35 B USt.Satz 7% Nettoumsatz 2,36 0,17 USt. Hash A 19% 17,61 3,35 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS B 7% 2,36 0,17 Signatur Hash U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J Signatur BXV6-4VYC-TURZ U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J BXV6-4VYC-TURZ 13:27:36 SEQ: 34 Bediener: Fuchs :27:36 SEQ: 34 Vielen Bediener: Dank für Fuchs Ihren Einkauf! Vielen Dank für Ihren Einkauf! <?xml version="1.0" <?xml encoding="iso "?> version="1.0" <insika> <?xml encoding="iso "?> version="1.0" <insika> <document-information> encoding="iso "?> <insika> <document-information> </document-information> <document-information> <transaction> </document-information>... <transaction> </document-information>... <transaction>... Beleg- prüfung Monat 1 Monat n Auswertung der der TIM-Daten <?xml version="1.0" <?xml encoding="iso "?> version="1.0" <insika> encoding="iso "?> <insika> <document-information> <document-information> </document-information> <transaction> </document-information>... <transaction>... XML-Kassendaten Prüfung von von Kassendaten PTB Workshop , Jörg Wolff 5

6 Signierte Buchungsdaten XYZ GmbH, Abbestr. 2, Berlin DE Frühstück Paris A 5,98 Kaffeebohnen Arabica 0,253 kg x 9,99 /kg = B 2,53 Kaminholz Buche A 14, Summe 23,49 Identifikationsmerkmal Buchungspositionen USt.Satz Brutto Netto USt. A 19% 20,96 17,61 3,35 B 7% 2,53 2,36 0,17 Hash 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS Signatur U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J BXV6-4VYC-TURZ SEQ: 388 Bediener: Fuchs :27:36 Vielen Dank für Ihren Einkauf! Umsatz (je UStSatz) Hashwert der Buchungspositionen Signatur Sequenznummer Bediener-ID, Datum, Uhrzeit PTB Workshop , Jörg Wolff 6

7 Signierte Buchungsdaten (II) CDh 08h 32h 30h 30h 39h 30h 31h 32h 31h CEh 06h 31h 31h 31h 37h 30h 39h C4h 10h 54h 61h 78h 5Fh 50h 61h 79h 65h 72h 5Fh 49h 44h 5Fh 5Fh 5Fh 5Fh C5h 04h 00h 00h 00h 14h C6h 01h 30h C7h 14h D0h E4h EAh 7Eh B8h CDh 87h 75h 34h E3h 04h F6h 5Dh 8Fh 1Ch FBh C9h D7h D2h 60h CBh 04h 00h 00h 01h 84h E1h 09h D8h 03h 10h 00h 0Ch DBh 02h 19h 00h Buchungsdatensatz, signaturrelevant ( Byte) C2h 44h D7h FAh E7h E8h F9h 41h 98h 72h A2h B0h A1h 1Bh 02h DFh 2Fh 1Ch DDh 0Bh B1h 68h D8h 7Ah 95h 3Ah 7Bh 04h C8h 24h F5h FDh B1h 87h 19h 32h 55h 13h 8Ch 0Dh 65h F2h 82h 4Bh 10h 39h D2h 02h vom TIM berechnete Signatur (48 Byte) Buchungsdaten werden in TLV-Objekten an das TIM übergeben das TIM fügt dem Buchungsdatensatz Informationen hinzu (Identifikationsmerkmal, Sequenznummer) die Signatur wird durch das TIM über den Buchungsdatensatz berechnet und zurückgegeben Identifikationsmerkmal Umsatz (je UStSatz) Hashwert der Buchungspositionen Signatur Sequenznummer Bediener-ID, Datum, Uhrzeit PTB Workshop , Jörg Wolff 7

8 Prüfung von INSIKA Kassenbelegen XYZ XYZ GmbH, GmbH, Abbestr. Abbestr. 2, 2, Berlin Berlin DE DE Frühstück Frühstück Paris Paris A 5,98 5,98 Kaffeebohnen Kaffeebohnen Arabica Arabica 0,253 0,253 kg kg x 9,99 /kg 9,99 /kg = B 2,53 2,53 Kaminholz Kaminholz Buche Buche A 14,98 14, Summe Summe 23,49 23,49 USt.Satz USt.Satz Brutto Brutto Netto Netto USt. USt. A 19% 19% 20,96 20,96 17,61 17,61 3,35 3,35 B 7% 7% 2,53 2,53 2,36 2,36 0,17 0,17 Hash Hash 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS Signatur Signatur U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J BXV6-4VYC-TURZ BXV6-4VYC-TURZ SEQ: SEQ: Bediener: Bediener: Fuchs Fuchs :27:36 13:27:36 Vielen Vielen Dank Dank für für Ihren Ihren Einkauf! Einkauf! Identifikationsmerkmal Umsatz (je UStSatz) Hashwert der Buchungspositionen Signatur Sequenznummer Bediener-ID, Datum, Uhrzeit PTB Workshop , Jörg Wolff 8

9 Verifikation von Buchungsdaten CDh 08h 32h 30h 30h 39h 30h 31h 32h 31h CEh 06h 31h 31h 31h 37h 30h 39h C4h 10h 54h 61h 78h 5Fh 50h 61h 79h 65h 72h 5Fh 49h 44h 5Fh 5Fh 5Fh 5Fh C5h 04h 00h 00h 00h 14h C6h 01h 30h C7h 14h D0h E4h EAh 7Eh B8h CDh 87h 75h 34h E3h 04h F6h 5Dh 8Fh 1Ch FBh C9h D7h D2h 60h CBh 04h 00h 00h 01h 84h E1h 09h D8h 03h 10h 00h 0Ch DBh 02h 19h 00h Buchungsdatensatz, signaturrelevant ( Byte) C2h 44h D7h FAh E7h E8h F9h 41h 98h 72h A2h B0h A1h 1Bh 02h DFh 2Fh 1Ch DDh 0Bh B1h 68h D8h 7Ah 95h 3Ah 7Bh 04h C8h 24h F5h FDh B1h 87h 19h 32h 55h 13h 8Ch 0Dh 65h F2h 82h 4Bh 10h 39h D2h 02h vom TIM berechnete Signatur (48 Byte) 21h 0Dh 4Fh 9Fh 7Bh F3h DCh 66h DDh AEh 29h 65h ABh 49h A7h B0h 38h 3Ah 7Ch B9h 9Eh F6h 6Ah 1Eh 7Bh 3Eh E2h 0Eh CEh 1Dh C4h A1h 3Eh 8Fh F4h 70h 2Ch DEh F0h A9h E6h DBh 64h 67h FBh 22h 12h E8h öffentlicher Schlüssel des TIM (48 Byte) Nur zuvor signierte Daten lassen sich verifizieren Nachbildung des Buchungsdatensatzes aus dem Beleg Daten zur Verifikation von Buchungen: Buchungsdatensatz, Signatur und öffentlicher Schlüssel Identifikationsmerkmal Umsatz (je UStSatz) Hashwert der Buchungspositionen Signatur Sequenznummer Bediener-ID, Datum, Uhrzeit PTB Workshop , Jörg Wolff 9

10 Zertifikatsverwaltung (vereinfacht) TIM DE Zentrale Stelle oder privates Trustcenter Personalisierung TIM, Zertifikatsausstellung und -verwaltung DE Zertifikatsserver und -sperrliste TIM Ausgabe ggf. Abfrage des Zertifikats DE Abgleich mit Sperrliste TIM INSIKA Kasse XYZ XYZ GmbH GmbH DE DE Belege Prüfinstanz Datensätze signieren, speichern, exportieren <?xml version="1.0" <?xml encoding="iso "?> version="1.0" <insika> <?xml encoding="iso "?> version="1.0" <insika> <document-information> encoding="iso "?> <insika> <document-information> </document-information> <document-information> <transaction> </document-information>... <transaction> </document-information>... <transaction>... XML-Kassendaten inkl. Zertifikat Signaturverifikation, Prüfungen des Inhalts PTB Workshop , Jörg Wolff 10

11 IVM-Software: Prüfung von Kassenbelegen Prüfung Hashwert der Buchungspositionen Verschiedene Druckformate für Hashwert der Buchungspositionen und Signatur Base32-kodiert Nutzung von Texterkennungssoftware möglich Belegverifikation 2D-Codes (PDF417, QR-Code, DataMatrix), Nutzung optischer Erkennungsverfahren XYZ GmbH, Abbestr. 2, Berlin XYZ GmbH, Abbestr. 2, Berlin DE DE Frühstück Paris A 5,98 Frühstück Paris A 5,98 Kaffeebohnen Arabica Kaffeebohnen Arabica 0,253 kg x 9,99 /kg = B 2,53 0,253 kg x 9,99 /kg = B 2,53 Kaminholz Buche A 14,98 Kaminholz Buche A 14, Summe 23,49 Summe 23,49 USt.Satz Brutto Netto USt. USt.Satz Brutto Netto USt. A 19% 20,96 17,61 3,35 A 19% 20,96 17,61 3,35 B 7% 2,53 2,36 0,17 B 7% 2,53 2,36 0, :27: :27:36 Bediener: Fuchs Bediener: Fuchs Vielen Dank für Vielen Dank für Ihren Einkauf! Ihren Einkauf! PTB Workshop , Jörg Wolff 11

12 INSIKA XML-Exportschnittstelle INSIKA Kasse TIM XML-Generator XML-Export- schnittstelle <?xml version="1.0" <?xml encoding="iso "?> version="1.0" <insika> <?xml encoding="iso "?> version="1.0" <insika> <document-information> encoding="iso "?> <insika> <document-information> </document-information> <document-information> <transaction> </document-information>... <transaction> </document-information>... <transaction>... XML-Kassendaten XML = Extensible Markup Language: standardisiert durch W3C Recommendation INSIKA XML-Exportschnittstelle: einheitlich, herstellerunabhängig unabhängig von Ort, Plattform und Medium (Web-Übermittlung, USB-Stick, CD-Rom, Speicherkarten, etc.) PTB Workshop , Jörg Wolff 12

13 INSIKA XML-Dokumente Inhalt von INSIKA XML-Dokumenten: - Zertifikate, Zertifikat - Buchungen, - Tagesabschlüsse INSIKA XML-Schema: Buchung - XML-Schnittstellendefinition - Validierung von XML-Dokumenten XML-Dokument enthält lesbare Textzeichen mit Texteditor oder Webbrowser darstellbar Tagesabschluss zwei INSIKA XML-Formate: Klartext und Base64 PTB Workshop , Jörg Wolff 13

14 XML-Formate Base64 und Klartext Datensätze Base64-kodiert Daten in Textform zwei Formate definiert, je nach Voraussetzungen der Kasse bedienbar PTB Workshop , Jörg Wolff 14

15 Prüfbare Inhalte von XML-Dokumenten Automatisiert prüfbare Inhalte: Gültigkeit Zertifikat Buchung: Buchungspositionen Hashwert der Buchungspositionen Signatur Tagesabschluss: Umsätze Umsatzsummen der eingeschlossenen Buchungen streng monoton steigende Sequenznummern eingeschlossener Buchungen Signatur PTB Workshop , Jörg Wolff 15

16 Zuordnung von Beleg und XML-Exportdaten XYZ GmbH, Abbestr. 2, Berlin XYZ GmbH, Abbestr. 2, Berlin DE DE Frühstück Paris A 5,98 Frühstück Paris A 5,98 Kaffeebohnen Arabica Kaffeebohnen Arabica 0,253 kg x 9,99 /kg = B 2,53 0,253 kg x 9,99 /kg = B 2,53 Kaminholz Buche A 14,98 Kaminholz Buche A 14, Summe 23,49 Summe 23,49 USt.Satz Brutto Netto USt. USt.Satz Brutto Netto USt. A 19% 20,96 17,61 3,35 A 19% 20,96 17,61 3,35 B 7% 2,53 2,36 0,17 B 7% 2,53 2,36 0,17 Hash Hash 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS Signatur Signatur U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J BXV6-4VYC-TURZ BXV6-4VYC-TURZ :27:36 SEQ: :27:36 SEQ: 388 Bediener: Fuchs Bediener: Fuchs Vielen Dank für Ihren Einkauf! Vielen Dank für Ihren Einkauf! Sequenznummer eindeutige Rückführbarkeit von Beleg auf XML-Exportdaten durch Identifikationsmerkmal und Sequenznummer PTB Workshop , Jörg Wolff 16

17 INSIKA Verifikations Modul (IVM) Buchungen Tagesabschlüsse Zertifikate PTB Workshop , Jörg Wolff 17

18 INSIKA Verifikations Modul (II) nutzt veröffentlichte und frei zugängliche Verfahren (ECDSA: FIPS 186-2) Nachbau einer Verifikationssoftware für INSIKA-Daten ohne größere Probleme möglich IVM-Software zur Signaturverifikation von INSIKA XML-Dokumenten Kassenbelegen wesentliche Komponenten: XML-Parser mit Bildung des Datensatzes, ECDSA-Bibliothek, Belegverifikation und Hauptprogramm PTB Workshop , Jörg Wolff 18

19 Prüfung der TIM Summenspeicher PTB Workshop , Jörg Wolff 19

20 Prüfung der TIM Summenspeicher (II) Umsatz, Negativumsatz und Umsatzsteuersatz (für sechs UStS) Umsatz und Anzahl Agenturgeschäft Umsatz und Anzahl Lieferschein Umsatz und Anzahl Trainingsbuchung Prüfung der TIM Summenspeicher bildet Sonderfall (z.b. bei Verlust der Kassendaten) jeder Monat wird einzeln gebucht, geplante Nutzungsdauer 10 Jahre sechs Umsatzsteuersätze buchbar, Höhe des UStS variabel auf Basis der Summen Abschätzung der monatlichen Umsätze je Umsatzsteuersatz möglich PTB Workshop , Jörg Wolff 20

21 Beispielhaftes Prüfszenario 1. Anforderung von XML-Exportdaten vom Kassenbetreiber über einen bestimmten Zeitraum 2. Überprüfung des Zertifikats auf Gültigkeit 3. Überprüfung der Tagesabschlüsse Signaturprüfung Summe der eingeschlossenen Buchungen = Umsatz des zugehörigen Tagesabschlusses Kontrolle der Sequenznummern 4. bei Bedarf stichprobenartige oder vollständige Prüfung der einzelnen Buchungen (eindeutige Rückführbarkeit von Belegen Exportdaten) Belegprüfung anhand Buchungsdatensatz, Signatur und Zertifikat, optional: Verifikation des Hashwert der Buchungspositionen 5. auf INSIKA aufsetzende Prüfverfahren: Auswertung von Umsätzen, Umsatzsteuern, Warenumsatz etc. PTB Workshop , Jörg Wolff 21

22 Zusammenfassung vollständig automatisierte Prüfung der Integrität und Authentizität von XML-Kassendaten eindeutig definiertes Format der XML-Kassendaten, herstellerunabhängig geringe Prüfzeiten durch automatisierte Prüfung hohe Prüftiefe durch Aufzeichnung aller Buchungen Kassenbelege für Stichproben in XML-Kassendaten nutzbar Prüfung der Kassenbelegen selbst möglich, Erkennung gefälschter Kassenbelege Möglichkeit der Abschätzung von Umsätzen durch Auswertung der TIM Summenspeicher PTB Workshop , Jörg Wolff 22

23 Vielen Dank für Ihre Aufmerksamkeit! XYZ GmbH, Abbestr. 2, Berlin XYZ GmbH, DE Abbestr , Berlin DE Frühstück Paris A 5,98 Kaffeebohnen Frühstück Paris Arabica A 5,98 0,253 Kaffeebohnen kg x 9,99 /kg Arabica = B 2,53 Kaminholz 0,253 kg Buche x 9,99 /kg = A B 14,98 2, Kaminholz Buche A 14,98 Summe ,49 Summe 23,49 USt.Satz Brutto Netto USt. A USt.Satz 19% 20,96 Brutto 17,61 Netto 3,35 USt. B A 7% 19% 2,53 20,96 2,36 17,61 0,17 3,35 Hash B 7% 2,53 2,36 0,17 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS Hash Signatur 5FE5-WJ6Q-MURZ-FNUZ-UQJJ-WFMZ-3GP6-NKYS U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 Signatur VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J U5Y4-VCBB-IGXM-SCB6-6MOF-O2GF-ALS6-W5O4 BXV6-4VYC-TURZ VETD-3ELO-T77N-QTA4-T6EG-TSIK-JYXY-253J BXV6-4VYC-TURZ :27:36 SEQ: 388 Bediener: Fuchs 13:27:36 SEQ: 388 Bediener: Fuchs Vielen Dank für Ihren Einkauf! Vielen Dank für Ihren Einkauf! Weitere Informationen: Kontakt: insika@ptb.de PTB Workshop , Jörg Wolff 23