Anders Moen Hagalisletto

	2010
15		Anders Moen Hagalisletto, Steinar Kristoffersen: Pervasive Integration by Autonomous Agents. HICSS 2010: 1-9
14		Anders Moen Hagalisletto, Lars Strand: Designing attacks on SIP call set-up. IJACT 2(1): 13-22 (2010)
	2009
13		Anders Moen Hagalisletto: Automated detection of confidentiality goals. IPDPS 2009: 1-8
12		Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven: Analysing Protocol Implementations. ISPEC 2009: 171-182
	2008
11		Anders Moen Hagalisletto, Lars Strand: Formal Modeling of Authentication in SIP Registration. SECURWARE 2008: 16-21
10		Anders Moen Hagalisletto: Proving Trust Locally. SECURWARE 2008: 80-87
9		Anders Moen Hagalisletto: Deciding the Correctness of Attacks on Authentication Protocols. JSW 3(5): 40-54 (2008)
	2007
8		Anders Moen Hagalisletto: Attacks are Protocols Too. ARES 2007: 1197-1206
7		Anders Moen Hagalisletto: Errors in Attacks on Authentication Protocols. ARES 2007: 223-229
6		Anders Moen Hagalisletto: Validating Attacks on Authentication Protocols. ISCC 2007: 481-488
5		Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger: Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4): 444-460 (2007)
	2006
4		Anders Moen Hagalisletto: Automated refinement of security protocols. IPDPS 2006
3		Anders Moen Hagalisletto: Protocol Algebra. ISCC 2006: 394-401
	2004
2		Anders Moen Hagalisletto, Ingrid Chieh Yu: Large scale construction of railroad models from specifications. SMC (7) 2004: 6212-6219
	2002
1		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: 147-160

Coauthor Index

1	Lars Aarhus	[1]
2	Joakim Bjørk	[5]
3	På Enger	[5]
4	Arne-Kristian Groven	[12]
5	Håvard Hegna	[1]
6	Steinar Kristoffersen	[15]
7	Thor Kristoffersen	[1]
8	Wolfgang Leister	[1] [12]
9	Bjarte M. Østvold	[1]
10	Lars Strand	[11] [12] [14]
11	Ingrid Chieh Yu	[2] [5]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page