Publications from 2006

Andova, Suzana; Baeten, JCM; Willemse, TAC A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification. Lecture Notes in Computer Science 2006;4137:327-342
Andova, Suzana; Gjøsteen, Kristian; Kråkmo, Lillian; Mjølsnes, Stig Frode; Radomirovic, Sasa An example of proving UC-realization with formal methods. [Vitenskapelig foredrag]. The 2nd Workshop on Formal and Computational Cryptography FCC 2006; 09.07.2006 - 09.07.2006
Bjørnstad, Steinar; Eriksen, Lars Erik; Hjelme, Dag Roar The OpMiGua multiservice optical hybrid packet/circuit switched network supporting TV-broadcasting QoS requirements. I: Proceedings of the 8th International Conference on Transparent Optical Networks, volume 3: Wiley - IEEE press 2006. ISBN 1-4244-0235-2. 6 s.
Bjørnstad, Steinar; Hjelme, Dag Roar; Stol, Norvald A Packet-Switched Hybrid Optical Network with Service Guarantees. IEEE Journal on Selected Areas in Communications 2006;24(8):97-107
Bjørnstad, Steinar; Nord, Martin; Tuft, Vegard Larsen; Austad, Oddgeir; Hjelme, Dag Roar; Eriksen, Lars Erik Experimental Demonstration of OpMiGua Hybrid Circuit/Packet Nodes. I: Proceedings of the the 32th European Conference on Optical Communications : Institution of Electrical Engineers (IEE) 2006. ISBN 2912328349. s. 373-374
Castejón, Humberto Nicolás; Bræk, Rolv A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. I: Proceedings of the 2006 ICSE international workshop on Scenarios and state machines: models, algorithms, and tools: ACM Press 2006. ISBN 1-59593-394-8. s. 37-43
Castejón, Humberto Nicolás; Bræk, Rolv Formalizing Collaboration Goal Sequences for Service Choreography. Lecture Notes in Computer Science 2006;4229:275-291
Engelhardtsen, Fritjof Boger; Engelhardtsen, Fritjof Boger; Prinz, Andreas Application of Stuck-free Conformance to Service-role Composition. Lecture Notes in Computer Science 2006;4320:115-132
Gjøsteen, Kristian A new security proof for Damgard's ElGamal. Lecture Notes in Computer Science 2006;3860:150-158
Gligoroski, Danilo; Knapskog, Svein Johan; Andova, Suzana Cryptcoding - Encryption and Error-Correction Coding in a Single Step
Gligoroski, Danilo; Knapskog, Svein Johan; Andova, Suzana Schemes for Secure Management of Digitally Produced Documents. I: The Internet Society II - Advances in Education, Commerce and Governance. New Forest, UK: WIT Press 2006. ISBN 1-84564-170-1. s. 425-434
Heegaard, Poul Einar; Fuglem, Ingebrigt Demonstrating ant-based monitoring on software IP routers (Deliverable 14)
Heegaard, Poul Einar; Wittner, Otto Jonassen Restoration performance vs. overhead in a swarm intelligence path management system. Lecture Notes in Computer Science 2006;4150:282-293
Heegaard, Poul Einar; Wittner, Otto Jonassen Self-tuned Refresh Rate in a Swarm Intelligence Path Management System. Lecture Notes in Computer Science 2006;4124:148-162
Hegland, Anne Marie; Winjum, E; Mjølsnes, Stig Frode; Rong, C; Kure, Øivind; Spilling, Pål Survey of Key Management in Ad Hoc Networks. IEEE Communications Surveys and Tutorials 2006;8(3):48-66
Herrmann, Peter Michael Security Requirement Analysis of Business Processes. Electronic Commerce Research 2006;6(3-4):305-335
Herrmann, Peter Michael Temporal Logic-Based Specification and Verification of Trust Models. Lecture Notes in Computer Science 2006(3986):105-119
Huang, Yixin; Jiang, Yuming Traffic Lifetime-Aware Routing Based on Grooming Policy in a WDM Network. I: 2006 International Conference on Communications, Circuits and Systems Proceedings: Wiley - IEEE press 2006. ISBN 0-7803-9584-0. s. 1928-1932
Jiang, Shanshan; Aagesen, Finn Arve An Approach to Integrated Semantic Service Discovery. Lecture Notes in Computer Science 2006;4195:159-171
Jiang, Shanshan; Aagesen, Finn Arve An Approach to Integrated Semantic Service Discovery [Vitenskapelig foredrag]. Autonomic Networking 2006; 27.09.2006 - 29.09.2006
Jiang, Yuming A Basic Stochastic Network Calculus. Computer communication review 2006;36(4):123-134
Jiang, Yuming A Basic Stochastic Network Calculus. I: Proceedings of ACM SIGCOMM 2006: Conference on Computer Communications, Pisa, Italy, September 11-15, 2006: ACM Press 2006. ISBN 1-59593-308-5. s. 123-134
Jiang, Yuming; Nevin, Anne; Emstad, Peder Johannes Implicit Admission Control for a Differentiated Services Network. I: Proceedings of EuroNGI 2nd Conference on Next Generation Internet Design and Engineering on CD-ROM: Wiley - IEEE press 2006. ISBN 0-7803-9455-0. 8 s.
Jørstad, Ivar Future Mobile Service Architectures - Service Personalisation and Continuity in Future Mobile Services. Trondheim: NTNU - Norwegian University of Science and Technology 2006. ISBN 82-471-8152-5. 338 s. Doktoravhandlinger ved NTNU ; 2006:189
Jørstad, Ivar; Do, Van Thanh Service Personalisation in Mobile Heterogenous Environments. I: Proceedings of the Advanced International Conference on Telecommunications (AICT'06) : IEEE Computer Society 2006. ISBN 0-7695-2522-9. 6 s.
Jørstad, Ivar; Do, Van Thanh; Do, Van Thuan; Jønvik, Tore E. Enhancing Internet service security using GSM SIM authentication. Proceedings of IEEE Globecom conference 2006
Jørstad, Ivar; Do, Van Thanh; Dustdar, Schahram Mobile Multimedia Collaborative Services. I: Handbook of research on mobile multimedia: Idea Group Publishing 2006. ISBN 1-59140-866-0. s. 414-429
Jørstad, Ivar; Do, Van Thanh; Dustdar, Schahram Personalisation of Next Generation Mobile Services. I: CAISE'06: Proceedings of the Workshops and Doctoral Consortium: Namur University Press 2006. ISBN 2-87037-525-5. s. 865-1013
Jørstad, Ivar; Jønvik, Tore E.; Do, Van Thanh; Do, Van Thuan; Bang, Nicolay Identity Management and business opportunities for Telcos [Vitenskapelig foredrag]. ICIN 2006; 29.05.2006 - 01.06.2006
Jørstad, Ivar; Wangensteen, Audun; Lunde, Lars; Do, Van Thanh A Generic Authentication System based on SIM. I: Proceedings of International Conference on Internet Surveillance and Protection (ICISP 2006): IEEE Computer Society 2006. ISBN 0-7695-2649-7. 6 s.
Jørstad, Ivar; Wangensteen, Audun; Lunde, Lars; Do, Van Thanh Secured enterprise access with strong SIM authentication [Vitenskapelig foredrag]. The 10th IEEE International EDOC Conference (EDOC 2006); 16.10.2006 - 20.10.2006
Kimsås, Andreas; Bjørnstad, Steinar; Øverby, Harald; Stol, Norvald Protection Using Redundancy in a Hybrid Circuit/Packet Node Design. I: proceedings of the 32th European Conference on Optical Communications : Institution of Electrical Engineers (IEE) 2006. ISBN 2912328349. s. 407-408
Kimsås, Andreas; Øverby, Harald; Bjørnstad, Steinar; Stol, Norvald Performance in a failure situation of an OpMiGua packet switch with internal blocking. I: Proceedings of the 8th International Conference on Transparent Optical Networks, volume 3: Wiley - IEEE press 2006. ISBN 1-4244-0235-2
Kimsås, Andreas; Øverby, Harald; Bjørnstad, Steinar; Tuft, Vegard Larsen A Cross Layer Study of Packet Loss in All-Optical Networks. I: Proceedings of the Advanced International Conference on Telecommunications (AICT'06) : IEEE Computer Society 2006. ISBN 0-7695-2522-9
Kraemer, Frank Alexander; Herrmann, Peter Michael Service Specification by Composition of Collaborations — An Example. I: 2006 IEEE/WIC/ACM International Conference on Web Intelligence: IEEE Computer Society 2006. ISBN 0-7695-2750-7. 5 s.
Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. Lecture Notes in Computer Science 2006;4276:1613-1632
Kristiansen, Lill Should patients participate in new ICT in health care?. DAIMI PB 2006;580:35-36
Krokan, Arne; Midtbust, Solveig Why don't they automate?. I: User involvement and representation in e-Government projects. Oslo: NordiCHI'06 Workshop 2006. ISBN 82-14-04040-X. s. 45-51
Kryvinska, Natalia; Do, Van Thanh Enabling voice services in Hybrid/Cross Network Framework. I: London Communications Symposium
Kryvinska, Natalia; Do, Van Thanh IN-Managed SIP Network: A Case Study in Network Convergence. I: Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006). Wien: IEEE Computer Society 2006. ISBN 0-7695-2466-4. s. 727-733
Li, Frank; Stol, Norvald; Helvik, Bjarne Emil Conformance deterioration in QoS networks: Phenomenon, analysis and elimination. Computer Networks 2006;50(12):2112-2126
Mjølsnes, Stig Frode; Hafskjold, Christine Sikkerhet og tillit. I: Offentlige tjenester på internett. Oslo: Teknologirådet 2006. ISBN 82-92447-10-5. s. 25-29
Mjølsnes, Stig Frode; Teigen, Marius A Survey on Trust and Privacy Negotiability in the Norwegian Mobile Telecom Market. Electronic Notes in Theoretical Computer Science 2006
Nord, Martin; Bjørnstad, Steinar; Austad, Oddgeir; Tuft, Vegard Larsen; Hjelme, Dag Roar; Sudbø, Aasmund; Eriksen, Lars Erik OpMiGua Hybrid Circuit- and Packet-Switched Test-Bed Demonstration and Performance. IEEE Photonics Technology Letters 2006;18(24):2692-2694
Rossebø, Judith Ellen Yarranton; Bræk, Rolv A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services. Journal of Computers 2006;1(8)
Rossebø, Judith Ellen Yarranton; Bræk, Rolv Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. I: First International Conference on Availability, Reliability and Security (ARES'06): IEEE conference proceedings 2006. ISBN 0-7695-2567-9. s. 206-215
Rossebø, Judith Ellen Yarranton; Cadzow, Scott; Sijben, Paul eTVRA, a threat, vulnerability and risk assessment tool for eEurope. I: Trust Management - 4th International Conference, iTrust 2006. Pica, Italy: Springer Verlag 2006. ISBN 3-540-34295-8 . s. 467-471
Rossebø, Judith Ellen Yarranton; Lund, Mass Soldal; Husa, Knut Eilif; Refsdal, Atle A conceptual model for service availability.. I: Quality Of Protection - Security Measurements and Metrics. : Springer Publishing Company 2006. ISBN 0-387-29016-8. s. 107-118
Rossebø, Judith Ellen Yarranton; Sibjen, Paul Security Issues in Voice over IP. Telektronikk 2006;102(1)
Rossebø, Judith Ellen Yarranton; Skagestein, Gerhard; Haug, Vegard; Nødtvedt, Einar How to create trust in electronic voting over an untrusted platform.. Lecture Notes in Informatics 2006:86
Rønningen, Leif Arne; Holthe, Ole-Ivar Video Browsing Techniques for Web Interfaces. I: Proceedings of the IEEE Consumer Communications and Networking Conference (CCNC 2006). Las Vegas: IEEE conference proceedings 2006. ISBN 1-4244-0086-4
Rønningen, Leif Arne; Holthe, Ole-Ivar Web browser plug-in prototype for advanced graphics and multimedia. I: Proceedings of the IEEE Consumer Communications and Networking Conference (CCNC 2006). Las Vegas: IEEE conference proceedings 2006. ISBN 1-4244-0086-4
Stol, Norvald; Øverby, Harald; Bjørnstad, Steinar; Kimsås, Andreas; Mykkeltveit, Anders Differentiated Survivability in the OpMiGua Hybrid Optical Network. I: Proceedings of the 10th Conference on Optical Network Design and Modelling : DTU Tryk 2006. ISBN 87-90974-82-4
Stordahl, Kjell Long-Term Telecommunications Forecasting. Trondheim: NTNU 2006. ISBN 82-471-8231-9. 283 s. Doktoravhandlinger ved NTNU ; 2006:225
Tuft, Vegard Larsen; Buron, Jakob; Hjelme, Dag Roar; Bjørnstad, Steinar Demonstration of an All-Optical Class-of-Service Segregation Method for Edge Nodes in Hybrid Circuit/Packet Switched Networks. I: Proceedings of the the 32th European Conference on Optical Communications : Institution of Electrical Engineers (IEE) 2006. ISBN 2912328349. s. 287-288
Willassen, Svein Yngvar Forensic Analysis of Mobile Phone Internal Memory. I: Advances in Digital Forensics. USA: Springer Publishing Company 2006. ISBN 0-387-30012-0. 18 s.
Zhang, Yan; Soong, B. H. ; Jiang, Yuming Dynamic Channel Allocation Schemes in GPRS Networks. I: Adaptation Techniques in Wireless Multimedia Networks: Nova Science Publishers, Inc. 2006. ISBN 1-59454-883-8. 18 s.
Øverby, Harald A combined study on 1+1 path protection and shared packet redundancy in optical packet switched networks. I: Proceedings of the 11th European Conference on Networks and Optical Communications. Berlin, Germany: Fraunhofer Institute for Telecommunications 2006. ISBN 3-923613-40-7. s. 519-526
Øverby, Harald Cost evaluations of the protected network layer packet redundancy scheme. Journal of Optical Networking 2006;5(10):747-763
Øverby, Harald How the packet length distribution influences the packet loss rate in an optical packet switch. I: Proceedings of the Advanced International Conference on Telecommunications (AICT'06) : IEEE Computer Society 2006. ISBN 0-7695-2522-9
Øverby, Harald Network Layer Packet Redundancy in Asynchronous Optical Packet Switched Networks without Wavelength Conversion. I: Proceedings of the Advanced International Conference on Telecommunications (AICT'06) : IEEE Computer Society 2006. ISBN 0-7695-2522-9
Øverby, Harald The Network Layer Packet Redundancy Scheme: A Novel Approach to Reduce Packet Loss in OPS Networks. I: Proceedings of the 10th Conference on Optical Network Design and Modelling : DTU Tryk 2006. ISBN 87-90974-82-4
Øverby, Harald The Shared Packet Recovery 1+1 Path Protection Scheme. I: Proceedings of the 11th European Conference on Networks and Optical Communications. Berlin, Germany: Fraunhofer Institute for Telecommunications 2006. ISBN 3-923613-40-7. s. 512-518
Øverby, Harald; Stol, Norvald QoS Differentiation in Asynchronous Bufferless Optical Packet Switched Networks. Wireless networks 2006;12(3):383-394
Øverby, Harald; Stol, Norvald; Nord, Martin Evaluation of QoS Differentiation Mechanisms in Asynchronous Bufferless Optical Packet Switched Networks. IEEE Communications Magazine 2006;44(8):52-57
Årnes, Andre; Knapskog, Svein Johan Risk, Privacy, and Security in Computer Networks. Trondheim: Tapir Uttrykk 2006. ISBN 82-471-8235-1. 411 s. Doktoravhandlinger ved NTNU ; 2006:227
Aagesen, Finn Arve; Supadulchai, Paramai; Anutariya, Chutiporn; Shiaa, Mazen Malek Configuration Management for an Adaptable Network System. I: Proceedings of the IFIP Open Conference on Metropolitan Area Network Architecture, protocols, control and management 2005. University of Paris VI: Guy Pujolle, University of Paris VI 2005. s. 8-27
Andreassen, Ragnar; Helvik, Bjarne Emil; Sudbø, Aasmund; Zouganeli, Evi A study of fault tolerant architectures for electronic in- and egress interconnections in optical burst/packet switched networks.. I: IEEE Catalog Number: 05EX1006C: Wiley - IEEE press 2005. ISBN 0-7803-8957-3
Do, Van Thanh ADPO – personalized & ADaptive POrtal framework [Vitenskapelig foredrag]. Celtic Event 2006; 23.02.2006 - 24.02.2006
Do, Van Thanh High quality mobile service delivery [Vitenskapelig foredrag]. Next Generation Multimode Handsets Conference; 18.01.2006 - 19.01.2006
Heegaard, Poul Einar; Fuglem, Ingebrigt AntPing - prototype demonstrator of swarm based path management and monitoring [Poster]. International Workshop on Self-Organizing Systems 2006; 18.09.2006 - 20.09.2006
Herrmann, Peter Michael; Kraemer, Frank Alexander Collaboration-Oriented Service Engineering by means of Model Transformation [Vitenskapelig foredrag]. Meeting of the ERCIM Security and Trust Management Working Group; 20.09.2006 - 21.09.2006
Herrmann, Peter Michael; Kraemer, Frank Alexander Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU [Vitenskapelig foredrag]. Jahrestreffen der GI-Fachgruppe FoMSESS; 12.06.2006 - 13.06.2006
Holthe, Ole-Ivar; Rønningen, Leif Arne Video Browsing Techniques for Web Interfaces [Vitenskapelig foredrag]. IEEE Consumer Communications and Networking Conference; 08.01.2006 - 10.01.2006
Holthe, Ole-Ivar; Rønningen, Leif Arne Web browser plug-in prototype for advanced graphics and multimedia [Vitenskapelig foredrag]. IEEE Consumer Communications and Networking Conference (CCNC 2006); 08.01.2006 - 10.01.2006
Jørstad, Ivar; Do, Van Thanh Bortenfor blåner, bakenfor 3G [Vitenskapelig foredrag]. Studiemøtet 2006; 11.10.2006 - 12.10.2006
Jørstad, Ivar; Do, Van Thanh Erfaringer med Federert Identitetshåndtering [Vitenskapelig foredrag]. Software 2006; 08.02.2006 - 09.02.2006
Jørstad, Ivar; Do, Van Thanh; Jønvik, Tore E. A Service Architecture Enabling Mobile E-Mail Access [Vitenskapelig foredrag]. ICIN 2006; 29.05.2006 - 01.06.2006
Kimsås, Andreas; Bjørnstad, Steinar; Øverby, Harald; Tuft, Vegard Larsen Packet Loss due to Bit Errors in All-Optical Networks [Vitenskapelig foredrag]. Cost 291 Workshop 2006
Mjølsnes, Stig Frode NTNU Multidisciplinary Research Program for Information Security; a presentation of the activity. [Vitenskapelig foredrag]. European Conference on Security Research; 20.02.2006 - 21.02.2006
Moseng, Tor K.; Kure, Øivind DiffServ in Ad Hoc Networks [Vitenskapelig foredrag]. Third EuroNGI Workshop on Wireless and Mobility; 07.06.2006 - 09.06.2006
Tjora, Åsmund; Skavhaug, Amund; Heegaard, Poul Einar A Mathematical Model for Run-Time Distributions in a Fault Tolerant System with Nonhomogeneous Passive Replicas [Vitenskapelig foredrag]. DECOS/ERCIM Workshop on Dependable Embedded Systems; 26.09.2006 - 26.09.2006
Tuft, Vegard Larsen; Bjørnstad, Steinar; Sudbø, Aasmund; Hjelme, Dag Roar Using the State of Polarization in a Hybrid Optical Network [Poster]. Northern Optics 2006; 14.06.2006 - 16.06.2006
Undheim, Astrid; Jiang, Yuming; Emstad, Peder Johannes Network Calculus Server Models for Router Modelling using External Measurements [Vitenskapelig foredrag]. 3rd EuroNGI Workshop on New Trends in Modelling, Quantitative Methods and Measurements; 22.06.2006 - 23.06.2006