| Detalji |
| Šifra: |
0120048 |
| Projekt: |
Logicke i matematičke osnove računarstva |
| Područje: |
Prirodne znanosti |
Prosudbena
skupina: |
Matematika |
| Glavni
istraživač: |
Dean Rosenzweig |
| Ustanova: |
Fakultet strojarstva i brodogradnje, Zagreb |
| Ključne
riječi: |
apstraktni strojevi, apstraktna i konkretna kriptografija, analiza kriptografskih protokola, formule znanja i ocekivanja, distribuirani racuni, logike znanja i vjerovanja |
| URL: |
|
| E-pošta: |
dean@math.hr |
| Telefon: |
6168205 |
| Suradnici: |
| Paola Glavan |
Istraživač |
| MARCEL MARETIĆ |
Znanstveni novak |
| Neva Slani |
Znanstveni novak |
|
Znanstvena
bibliografija: |
http://bib.irb.hr/lista-radova?sif_proj=0120048 |
| English |
| Project Title: |
|
| Area: |
Natural sciences |
| Peer review group: |
Mathematics |
| Institution: |
The Faculty of Mechanical Engineering and Naval Architecture, Zagreb |
| Keywords: |
abstract state machines, abstract and concrete cryptography, analysis of cryptographic protocols, knowledge and expectation formulae, distributed computation, logics of knowledge and belief |
