Anders Moen Hagalisletto

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Anders Moen Hagalisletto, Lars Strand
Designing attacks on SIP call set-up. Int. J. Appl. Cryptogr. 2 (1) (2010)
Anders Moen Hagalisletto, Steinar Kristoffersen
Pervasive Integration by Autonomous Agents. HICSS (2010)
Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven
Analysing Protocol Implementations. ISPEC (2009)
Anders Moen Hagalisletto
Automated detection of confidentiality goals. IPDPS (2009)
Anders Moen Hagalisletto, Lars Strand
Formal Modeling of Authentication in SIP Registration. SECURWARE (2008)
Anders Moen Hagalisletto
Deciding the Correctness of Attacks on Authentication Protocols. J. Softw. 3 (5) (2008)
Anders Moen Hagalisletto
Proving Trust Locally. SECURWARE (2008)
Anders Moen Hagalisletto
Errors in Attacks on Authentication Protocols. ARES (2007)
Anders Moen Hagalisletto
Attacks are Protocols Too. ARES (2007)
Anders Moen Hagalisletto
Validating Attacks on Authentication Protocols. ISCC (2007)
Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. IEEE Trans. Syst. Man Cybern. Part C 37 (4) (2007)
Anders Moen Hagalisletto
Protocol Algebra. ISCC (2006)
Anders Moen Hagalisletto
Automated refinement of security protocols. IPDPS (2006)
Anders Moen Hagalisletto, Ingrid Chieh Yu
Large scale construction of railroad models from specifications. SMC (7) (2004)
Wolfgang Leister, Håvard Hegna, Thor Kristoffersen, Lars Aarhus, Anders Moen Hagalisletto, Bjarte M. Østvold
Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. SimVis (2002)