• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formell modellering og analyse av sikkerhetsaspekter ved web-baserte offentlige registre

Borgund, Line
Master thesis
View/Open
oppgaven_web.pdf (1.317Mb)
Year
2005
Permanent link
http://urn.nb.no/URN:NBN:no-11153

Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3608]
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.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy