Utveckling av verifieringsmetoder för säkerhetsegenskaper hos protokoll
- Diarienummer
- A3 02:122g
- Start- och slutdatum
- 070101-071231
- Beviljat belopp
- 125 000 kr
- Förvaltande organisation
- Uppsala University
- Forskningsområde
- Informations-, kommunikations- och systemteknik