dc.date.accessioned | 2013-03-12T08:05:26Z | |
dc.date.available | 2013-03-12T08:05:26Z | |
dc.date.issued | 2005 | en_US |
dc.date.submitted | 2005-09-08 | en_US |
dc.identifier.citation | Borgund, Line. Formell modellering og analyse av sikkerhetsaspekter ved web-baserte offentlige registre. Masteroppgave, University of Oslo, 2005 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9340 | |
dc.description.abstract | This paper deals with security aspects of the web-portal Altinn and shows how these aspects can be formalized and modeled in the high level programming language, Maude. Thereafter there will be given examples of how this model can be used for automatic analysis, in such a way that it can reveal faults or making the design choices become trustworthy. The model will include network layers and give a realistic representation of Altinn on an abstract level. The layers consist of TCP and SSL and on top of these there are modeled client authentication with password and authorization mechanisms. | nor |
dc.language.iso | nob | en_US |
dc.title | Formell modellering og analyse av sikkerhetsaspekter ved web-baserte offentlige registre | en_US |
dc.type | Master thesis | en_US |
dc.date.updated | 2005-09-26 | en_US |
dc.creator.author | Borgund, Line | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Borgund, Line&rft.title=Formell modellering og analyse av sikkerhetsaspekter ved web-baserte offentlige registre&rft.inst=University of Oslo&rft.date=2005&rft.degree=Masteroppgave | en_US |
dc.identifier.urn | URN:NBN:no-11153 | en_US |
dc.type.document | Masteroppgave | en_US |
dc.identifier.duo | 30142 | en_US |
dc.contributor.supervisor | Einar B. Johnsen, Olaf Owe | en_US |
dc.identifier.bibsys | 051532921 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9340/1/oppgaven_web.pdf | |