Utveckling av verifieringsmetoder för säkerhetsegenskaper hos protokoll
- Reference number
- A3 02:122g
- Start and end dates
- 070101-071231
- Amount granted
- 125 000 SEK
- Administrative organization
- Uppsala University
- Research area
- Information, Communication and Systems Technology