http://ibm.rkbexplorer.com/id/inproceedings-1a99148e653b06ea7d8baa2f91328d7a
has-title: Fine-Grained Forward-Secure Signature Schemes without Random Oracles
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#15
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-3eb61e0b7660c940f8399d3976af36a6
has-page-numbers: 220--230
has-title: A Composable Cryptographic Library with Nested Operations
has-date: http://www.aktors.org/ontology/date#2003
type: Thing
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#9

http://ibm.rkbexplorer.com/id/inproceedings-1c91db426ca86aadbd7b36b74390a8ba
type: Thing
type: Proceedings-Paper-Reference
has-title: Proactive Secure Message Transmission in Asynchronous Networks
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 223--232
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#17

http://ibm.rkbexplorer.com/id/article-46ec4ba769ea2393afcc6ebd92250d2d
has-number: 6
has-page-numbers: 38--44
has-volume: 7
has-title: Analysis of Liberty Single Signon with Enabled Clients
type: Thing
has-date: http://www.aktors.org/ontology/date#2003
has-url: http://csdl.computer.org/dl/mags/ic/2003/06/w6038.pdf
type: Article-Reference

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

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#9
has-title: 10th ACM Conference on Computer and Communications Security
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#15
has-title: International Workshop on Coding and Cryptography 2003
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/person-692de3a5cbf8614f11e21bd5d0eefd7a
full-name: Christian Jacobi
type: Person
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-66aba1fab95ae1d3a97bdba2e9119733
has-title: Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#1
has-page-numbers: 350--365
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#3
has-title: Proceedings of the IEEE Symposium on Research in Security and Privacy
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/person-f35b272afe2ab214e35243d31ad2d7ee
full-name: Jan Camenisch
type: Person
type: Thing

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

http://ibm.rkbexplorer.com/id/person-45499552a90318a2e979c8acdaa7e5dc
full-name: Reto Strobl
type: Person
type: Thing

http://ibm.rkbexplorer.com/id/pub-ref-8b01aaacd041670f9f529e053e6e5598
has-title: IEEE Internet Computing
type: Publication-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-1c008c2c1c5f8000e0e2431caf2d18e9
has-page-numbers: 271--290
type: Thing
has-title: Symmetric Authentication Within a Simulatable Cryptographic Library
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#7

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#8
has-title: 6th Information Security Conference (ISC)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#14
has-title: 11th International Workshop on Security Protocols, Cambridge (UK), April 2003
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/tech-report-351f7f0a58e73c298ee5fa0a828c1e98
has-title: Secure Distributed DNS
has-date: http://www.aktors.org/ontology/date#2003
type: Technical-Report-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#2
has-title: 20th International Symposium on Theoretical Aspects of Computer Science (STACS '03)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

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

http://ibm.rkbexplorer.com/id/inproceedings-2506ffd1a774cc57fdecc66eb1f92c44
has-title: A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#4
has-page-numbers: 140--152
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-94e6a38cd00f98d44b087a1678b584a9
has-title: Cryptographically Sound and Machine-Assisted Verification of Security Protocols
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#2
has-page-numbers: 675--686
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-6b45154984c59b8a123136e0089b71d1
has-title: Security Analysis of the SAML Single Sign-on Browser/Artifact Profile
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#12
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-31d4187eeb18660be788bd391d48fa9a
has-title: From Absence of Certain Vulnerabilities towards Security Proofs -- Pushing the Limits of Formal Verification
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#10
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#7
has-title: Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#13
has-title: ACM Workshop on Formal Methods in Security Engineering (FMSE 2003)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/person-c319f50f588e6d8f41a90926ea4a9253
full-name: Christian Cachin
type: Person
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-b98d9a909d79025eb88e64e958a0f504
has-title: Where Access Control Systems May Go
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#11
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#1
has-title: 14th International Conference on Concurrency Theory (CONCUR '03)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-92a79c88b0c38aa08d1156c9ad9719cd
has-page-numbers: 168--183
has-title: Security in Business Process Engineering
type: Thing
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#6

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

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

http://ibm.rkbexplorer.com/id/tech-report-273eb219959504995dd8a858608c4a38
has-title: A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
has-date: http://www.aktors.org/ontology/date#2003
has-url: http://eprint.iacr.org/2003/121/
type: Technical-Report-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#18
has-title: Proc. Intl. Conference on Dependable Systems and Networks (DSN-2003)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#6
has-title: International Conference on Business Process Management (BPM 03)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#12
has-title: 19th Annual Computer Security Applications Conference (ACSAC 2003)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-dc5d3948ae6331e38b7218b15a62bc5d
has-title: Intransitive Non-Interference for Cryptographic Purposes
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#3
has-page-numbers: 140--152
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

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

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

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

http://ibm.rkbexplorer.com/id/inproceedings-05e94af3776a195523ddd44462971445
has-title: Sound Idealizations of Cryptography for Tool-Supported Proofs
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#13
has-page-numbers: 64--65
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#17
has-title: Proc. 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/person-1d23bbc9e5585e7a1468869afe38ad71
full-name: Anthony Moran
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#5
has-title: Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-72c7beb8fe2255dc32e5a0bafdd7c8fe
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#8
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
has-title: Reactively Secure Signature Schemes
type: Thing
has-page-numbers: 84--95

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#11
has-title: 10th ACM Conference on Computer and Communications Security
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/tech-report-f876c67f7e3519bd5bdeb59b70dd9d6c
has-title: A Universally Composable Cryptographic Library
has-date: http://www.aktors.org/ontology/date#2003
has-url: http://eprint.iacr.org/2003/015/
type: Technical-Report-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-90eae440ac26e29bd1af9c12b8a25951
has-title: A Toolkit for Managing Enterprise Privacy Policies
type: Thing
has-page-numbers: 162--180
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#5
has-date: http://www.aktors.org/ontology/date#2003

http://ibm.rkbexplorer.com/id/person-175ca07c0bd198514c58f9d012a9baeb
full-name: Asad Samar
type: Person
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-df6dde610d7cf367b0c40747ab18c355
has-title: Federated Identity-Management Protocols
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#14
has-page-numbers: 153--174
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-240cfcb9738c0cad2a14c3fdbbb174db
has-title: An Asynchronous Protocol for Distributed Computation of RSA Inverses and its Applications
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#16
has-page-numbers: 153--162
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#16
has-title: Proc. 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/tech-report-967a28b95070e7c117a2f9b2f3904701
has-title: Symmetric Authentication Within a Simulatable Cryptographic Library
has-date: http://www.aktors.org/ontology/date#2003
has-url: http://eprint.iacr.org/2003/145/
type: Technical-Report-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#4
has-title: Proceedings of the 23rdConference on Foundations of Software Technology and Theoretical Computer Science -- FSTTCS
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/person-9816d4b071746cb1e57d7324ab6b18f2
full-name: Maciej Koprowski
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#10
has-title: 10th ACM Workshop on New Security Paradigms (NSPW)
has-date: http://www.aktors.org/ontology/date#2003
type: Conference-Proceedings-Reference
type: Thing

http://ibm.rkbexplorer.com/id/inproceedings-c9213b718d6ce040a2b0d924a82b9b50
has-title: Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/52217235734c61b134ce7c781cd1aede#18
has-page-numbers: 37--46
has-date: http://www.aktors.org/ontology/date#2003
type: Proceedings-Paper-Reference
type: Thing