teema: | Ajatempliskeemid: turvalisus, efektiivsus ja käideldavus |
---|---|
tunnusnumber: | ETF5113 |
projekti tüüp: | Eesti Teadusfondi grant |
erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
seisund: | lõppenud |
asutus: | AS Cybernetica |
projekti juht: | Ahto Buldas |
kestus: | 01.01.2002 - 31.12.2003 |
kirjeldus: | Töö eesmärgid on: 1. Esitada turvalise ajatemplisüsteemi matemaatiliselt range definitsioon, mis võiks olla aluseks olemasolevate ja tulevaste ajatemplisüsteemide turvalisuse korrektseks hindamiseks. Tänapäevani ei eksisteeri sobilikku turvaliste ajatemplisüsteemide ühtset matemaatilist teooriat. 2. Olemasolevate süsteemide analüüs uue teooria valguses. 3. Uute ajatemplisüsteemide loomine, milles kasutatavad andmestruktuurid oleksid võimalikult lihtsad, kuid mis samas oleksid turvalised uute definitsioonide mõttes. Seni on ajatemplisüsteemide turvalisuse kasv saavutatud nende keerukuse kasvu hinnaga. 4. Uurida senisest põhjalikumalt ajatemplisüsteemide käideldavuse probleeme. Praktilistes süsteemides nõutakse 7/24 valmisolekut ja samaaegselt ka nullilähedast vigade tõenäosust. 5. Uurida linkimisel põhinevaid ajatemplisüsteeme, mis fikseeritud rakendusvaldkonda arvestades annaksid minimaalse suurusega ajatempleid. |
projektiga seotud isikud | ||||
---|---|---|---|---|
nr | nimi | asutus | amet | |
1. | Arne Ansper | Cybernetica AS | arendusjuht | |
2. | Ahto Buldas | AS Cybernetica | vanemteadur | |
3. | Margus Freudenthal | Cybernetica AS | teadur | |
4. | Monika Oit | AS Cybernetica | teadusdirektor | |
5. | Meelis Roos | Cybernetica AS Tartu Andmeturbelabor | teadur | |
6. | Asko Seeba | Cybernetica AS Tartu Andmeturbelabor | arendusjuht | |
7. | Jan Willemson | AS Cybernetica | teadur |