Anders Moen Hagalisletto

According to our database, Anders Moen Hagalisletto authored at least 15 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Designing attacks on SIP call set-up.

Anders Moen Hagalisletto, Lars Strand

Int. J. Appl. Cryptogr., 2010

Pervasive Integration by Autonomous Agents.

Anders Moen Hagalisletto, Steinar Kristoffersen

Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

2009

Analysing Protocol Implementations.

Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven

Proceedings of the Information Security Practice and Experience, 2009

Automated detection of confidentiality goals.

Anders Moen Hagalisletto

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Deciding the Correctness of Attacks on Authentication Protocols.

Anders Moen Hagalisletto

J. Softw., 2008

Formal Modeling of Authentication in SIP Registration.

Anders Moen Hagalisletto, Lars Strand

Proceedings of the Second International Conference on Emerging Security Information, 2008

Proving Trust Locally.

Anders Moen Hagalisletto

Proceedings of the Second International Conference on Emerging Security Information, 2008

2007

Constructing and Refining Large-Scale Railway Models Represented by Petri Nets.

Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger

IEEE Trans. Syst. Man Cybern. Part C, 2007

Validating Attacks on Authentication Protocols.

Anders Moen Hagalisletto

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Attacks are Protocols Too.

Anders Moen Hagalisletto

Proceedings of the The Second International Conference on Availability, 2007

Errors in Attacks on Authentication Protocols.

Anders Moen Hagalisletto

Proceedings of the The Second International Conference on Availability, 2007

2006

Protocol Algebra.

Anders Moen Hagalisletto

Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

Automated refinement of security protocols.

Anders Moen Hagalisletto

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2004

Large scale construction of railroad models from specifications.

Anders Moen Hagalisletto, Ingrid Chieh Yu

Proceedings of the IEEE International Conference on Systems, 2004

2002

Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate.

Wolfgang Leister, Håvard Hegna, Thor Kristoffersen, Lars Aarhus, Anders Moen Hagalisletto, Bjarte M. Østvold

Proceedings of the Simulation und Visualisierung 2002 (SimVis 2002), 28. Februar, 2002