http://ibm.rkbexplorer.com/id/person-9fb81015f747592d777a482a2cf3552e
full-name: Michael Waidner
type: Person

http://ibm.rkbexplorer.com/id/tech-report-4b1a98edbab310fae6bd4ef961de89e6
has-url: http://eprint.iacr.org/2006/058/
has-date: http://www.aktors.org/ontology/date#2006
has-title: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
type: Technical-Report-Reference

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#6
has-date: http://www.aktors.org/ontology/date#2006
has-title: IEEE Workshop on Web Services Security
type: Conference-Proceedings-Reference

http://ibm.rkbexplorer.com/id/person-3a1882f45ba547d556c13e4ec2c6b52b
full-name: David Basin
type: Person

http://ibm.rkbexplorer.com/id/tech-report-42500987cf52750b17e953d08518bf59
has-url: http://eprint.iacr.org/2006/068/
has-date: http://www.aktors.org/ontology/date#2006
has-title: Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
type: Technical-Report-Reference

http://ibm.rkbexplorer.com/id/pub-ref-cbf80cdb3b1df0e60c3285e2acdba996
has-title: DIGMA -- Zeitschrift fr Datenrecht und Informationssicherheit
type: Publication-Reference

http://ibm.rkbexplorer.com/id/inproceedings-bf6cd260ac5e9e369e61f66c28a04819
has-date: http://www.aktors.org/ontology/date#2006
has-title: Formal Methods and Cryptography
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#5
type: Proceedings-Paper-Reference

http://ibm.rkbexplorer.com/id/tech-report-f8d86c703693472439975dcbe9fee4d6
has-url: http://eprint.iacr.org/2006/047/
has-date: http://www.aktors.org/ontology/date#2006
has-title: Cryptographically Sound Theorem Proving
type: Technical-Report-Reference

http://ibm.rkbexplorer.com/id/person-acd10592dc6fcfcce6b7327ce2321bd0
full-name: Birgit Pfitzmann
type: Person

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#5
has-date: http://www.aktors.org/ontology/date#2006
has-title: Formal Methods (FM)
type: Conference-Proceedings-Reference

http://ibm.rkbexplorer.com/id/person-15b17164872f7f2b822c0fb87e21b69e
full-name: Thomas Gross
type: Person

http://ibm.rkbexplorer.com/id/inproceedings-945288c877b932559b1677c3461bb984
has-date: http://www.aktors.org/ontology/date#2006
has-title: Soundness Limits of Dolev-Yao Models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#4
type: Proceedings-Paper-Reference

http://ibm.rkbexplorer.com/id/person-816253fdf83f47b40486c509af641bc2
full-name: Sebastian M o
type: Person

http://ibm.rkbexplorer.com/id/inproceedings-6f7d42a4a0be2bf4275aa3eccc43ff77
has-date: http://www.aktors.org/ontology/date#2006
has-page-numbers: 428--445
has-title: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#1
type: Proceedings-Paper-Reference

http://ibm.rkbexplorer.com/id/tech-report-8661ba8efca25faa50325dc1be4dcf01
has-url: http://eprint.iacr.org/2006/041/
has-date: http://www.aktors.org/ontology/date#2006
has-title: Reactively Simulatable Certified Mail
type: Technical-Report-Reference

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#4
has-date: http://www.aktors.org/ontology/date#2006
has-title: Workshop on Formal and Computational Cryptography (FCC)
type: Conference-Proceedings-Reference

Publication export from IBM Research GmbH
creator: Mikael Suominen
creator: ReSIST Project
description: This ontology contains information detailing publications held by IBM Research GmbH
type: Ontology
imports: extension
imports: portal

http://ibm.rkbexplorer.com/id/person-08ddeed2a453e6eb4c98405af4d575a7
full-name: Christoph Sprenger
type: Person

http://ibm.rkbexplorer.com/id/person-19b5fc32bbcb7ba58e54b666a75b6fda
full-name: Samuel MÃ¼ller
type: Person

http://ibm.rkbexplorer.com/id/person-e09cf3072ee307fc3d5bb36641de31cf
full-name: Michael Backes
type: Person

http://ibm.rkbexplorer.com/id/article-8b0f38850ca1ef61892ec0293c5a5468
has-date: http://www.aktors.org/ontology/date#2006
has-number: 1
has-page-numbers: 36--39
has-title: Effektives Compliance Management
has-volume: 6
type: Article-Reference

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#3
has-date: http://www.aktors.org/ontology/date#2006
has-title: Proceedings of the 11th European Symposium on Research in Computer Security (ESORICS)
type: Conference-Proceedings-Reference

http://ibm.rkbexplorer.com/id/inproceedings-7ec88254629cf3c7d9047fe0b682654f
has-date: http://www.aktors.org/ontology/date#2006
has-title: Cryptographically Sound Theorem Proving
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#7
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#2
has-date: http://www.aktors.org/ontology/date#2006
has-title: 21st IFIP TC-11 International Information Security Conference (SEC'2006)
type: Conference-Proceedings-Reference

http://www.aktors.org/ontology/date#2006
has-pretty-name: 2006
year-of: 2006
type: Calendar-Date

http://ibm.rkbexplorer.com/id/inproceedings-cd58a7a1c212c545cc9f7e6d3b70879f
has-date: http://www.aktors.org/ontology/date#2006
has-title: On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#2
type: Proceedings-Paper-Reference

http://ibm.rkbexplorer.com/id/person-5a4faa96f799daf7447b5ac6720c261b
full-name: Luca Vigan o
type: Person

http://ibm.rkbexplorer.com/id/inproceedings-77b7b9408d5600be01e55e3f76b9e025
has-date: http://www.aktors.org/ontology/date#2006
has-title: Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#3
type: Proceedings-Paper-Reference

www.aktors.org
locale: en_US
type: website
title: Turning Shoe Information to Knowledge of Technology and Deals
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
site name: Aktors

http://ibm.rkbexplorer.com/id/inproceedings-0a95b393cbc0bab34a787a2dd614171c
has-date: http://www.aktors.org/ontology/date#2006
has-title: SAML Artifact Information Flow Revisited
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#6
type: Proceedings-Paper-Reference

http://ibm.rkbexplorer.com/id/person-0ea93f88582ad8c7c6fa0f270dad5175
full-name: Matthias Schunter
type: Person

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#1
has-date: http://www.aktors.org/ontology/date#2006
has-title: Foundations of Software Science and Computation Structures (FOSSACS)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/a22275dd08f19bb798966b32e60da3f7#7
has-date: http://www.aktors.org/ontology/date#2006
has-title: 19th IEEE Computer Security Foundations Workshop
type: Conference-Proceedings-Reference

http://ibm.rkbexplorer.com/id/tech-report-9f42822451a957e901d938b4a40ef73d
has-url: http://www.research.ibm.com/resources/paper_search.shtml
has-date: http://www.aktors.org/ontology/date#2006
has-title: SAML Artifact Information Flow Revisited
type: Technical-Report-Reference