tühistamisest. On vajadus tuvastada ja ka tõestada aeg, millal elektrondokument on loodud. Lihtsaim viis dokumendi loomisaja tõestamiseks on usaldatava kolmanda osapoole asutamine. Kolmas osapool registreerib talle esitatud dokumendid ja lisab neile nn digitaalse ajatempli, st osa, mille abil saab tõestada dokumendi allakirjutamisaega. Ajatempli teenuse pakkujal on oma privaatvõti Dtss, millele vastava avaliku võtme abil saab ajatemplite ehtsust kontrollida. A saadab TSS-le sõnumi Y, millele soovib saada jatemplit. Näiteks võib selleks olla sõnumi X digitaalallkiri Y = Da(X) TSS lisab sõnumile hetkeaja t, allkirjastab liitsõnumi ja saadab A-kle sõnumiautentimiseS = Dtss(Y,t), mida võibki kasutada sõnumi ajatemplina. Kui TSS avalik võti on kõigile teada, saabki kontrollida, millal dokument ajatempli teenuse pakkujale esitati. Ei ole määratud, mis saab kui võti Dtss kaotab privaatsuse
On vajadus tuvastada ja ka tõestada aeg, millal elektrondokument on loodud. Lihtsaim viis dokumendi loomisaja tõestamiseks on usaldatava kolmanda osapoole asutamine. Kolmas osapool registreerib talle esitatud dokumendid ja lisab neile nn digitaalse ajatempli, st osa, mille abil saab tõestada dokumendi allakirjutamisaega. Ajatempli teenuse pakkujal on oma privaatvõti Dtss, millele vastava avaliku võtme abil saab ajatemplite ehtsust kontrollida. A saadab TSS-le sõnumi Y, millele soovib saada jatemplit. Näiteks võib selleks olla sõnumi X digitaalallkiri Y = Da(X) TSS lisab sõnumile hetkeaja t, allkirjastab liitsõnumi ja saadab A-kle sõnumiautentimiseS = Dtss(Y,t), mida võibki kasutada sõnumi ajatemplina. Kui TSS avalik võti on kõigile teada, saabki kontrollida, millal dokument ajatempli teenuse pakkujale esitati. Ei ole määratud, mis saab kui võti Dtss kaotab privaatsuse
c aega Diskreetne sündmusesimulaator peab globaalset ülesannete vahetamine Nimede tabel objekt-failis mingit väärtust sündmuste järjekorda, mis on sorteeritud · planeerimine, CPU sisu salvestamine, > nm hello.o 9 ajatemplite 00000000 T main Näited rangetest tegevustest põhiselt. Simulaator defineerib ka globaalse ühtse U puts Andmete kogumine sensoriga