<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/5624> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/title> "Verification of the TESLA protocol in MCMAS-X"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/abstract> "We present MCMAS-X, an extension of the OBDD-based model\r\nchecker MCMAS for multi-agent systems, to explicit and deductive knowledge. We use MCMAS-X to verify authentication properties in the TESLA secure stream protocol."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/date> "2006" .
<https://discovery.ucl.ac.uk/id/document/3812> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/org/ext-c283b1aa178a83138814535fa770a15e> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-c283b1aa178a83138814535fa770a15e> <http://xmlns.com/foaf/0.1/name> "Humboldt University Press"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-c283b1aa178a83138814535fa770a15e> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/5624#authors> .
<https://discovery.ucl.ac.uk/id/eprint/5624#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/5624#authors> .
<https://discovery.ucl.ac.uk/id/eprint/5624#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/5624#authors> .
<https://discovery.ucl.ac.uk/id/eprint/5624#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/5624#editors> .
<https://discovery.ucl.ac.uk/id/eprint/5624#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/5624#editors> .
<https://discovery.ucl.ac.uk/id/eprint/5624#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> .
<https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> <http://xmlns.com/foaf/0.1/givenName> "G."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> <http://xmlns.com/foaf/0.1/familyName> "Lindemann"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2d9d3dfde3a99d231fda68a43e7b19a7> <http://xmlns.com/foaf/0.1/name> "G. Lindemann"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> <http://xmlns.com/foaf/0.1/givenName> "F."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> <http://xmlns.com/foaf/0.1/familyName> "Raimondi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-FRAIM86> <http://xmlns.com/foaf/0.1/name> "F. Raimondi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> <http://xmlns.com/foaf/0.1/givenName> "H."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> <http://xmlns.com/foaf/0.1/familyName> "Schlingloff"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-022cc811602fc4ed5f72899b46944b4c> <http://xmlns.com/foaf/0.1/name> "H. Schlingloff"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> <http://xmlns.com/foaf/0.1/givenName> "B."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> <http://xmlns.com/foaf/0.1/familyName> "Wozna"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6d6968c6fa88c22a2f161d625fe36771> <http://xmlns.com/foaf/0.1/name> "B. Wozna"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> <http://xmlns.com/foaf/0.1/givenName> "A."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> <http://xmlns.com/foaf/0.1/familyName> "Lomuscio"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ARLOM01> <http://xmlns.com/foaf/0.1/name> "A. Lomuscio"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://www.w3.org/2000/01/rdf-schema#label> "Verification of the TESLA protocol in MCMAS-X (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://eprints.org/relation/hasVolatileVersion> <https://discovery.ucl.ac.uk/id/document/78237> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://eprints.org/relation/haspreviewThumbnailVersion> <https://discovery.ucl.ac.uk/id/document/78237> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://eprints.org/relation/hasVersion> <https://discovery.ucl.ac.uk/id/document/78237> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/5624/1/5624.pdf> .
<https://discovery.ucl.ac.uk/id/document/3812> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/5624/1/5624.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/5624/1/5624.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "5624.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/78237> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://www.w3.org/2000/01/rdf-schema#label> "Verification of the TESLA protocol in MCMAS-X (Image (PNG))"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/5624/2/preview.png> .
<https://discovery.ucl.ac.uk/id/document/78237> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/5624/2/preview.png> .
<https://discovery.ucl.ac.uk/id/eprint/5624/2/preview.png> <http://www.w3.org/2000/01/rdf-schema#label> "preview.png"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/103115> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://www.w3.org/2000/01/rdf-schema#label> "Verification of the TESLA protocol in MCMAS-X (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/3812> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/5624/3/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/103115> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/5624/3/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/5624/3/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/5624/> .
<https://discovery.ucl.ac.uk/id/eprint/5624/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #5624 \n\nVerification of the TESLA protocol in MCMAS-X\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/5624/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/5624/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/5624> .
<https://discovery.ucl.ac.uk/id/subject/8000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://discovery.ucl.ac.uk/id/subject/8000> <http://www.w3.org/2004/02/skos/core#prefLabel> "Software Systems Engineering"@en .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/subject> <https://discovery.ucl.ac.uk/id/subject/8000> .
<https://discovery.ucl.ac.uk/id/subject/50000> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://discovery.ucl.ac.uk/id/subject/50000> <http://www.w3.org/2004/02/skos/core#prefLabel> "UCL Adastral Park Campus for Postgraduate Research"@en .
<https://discovery.ucl.ac.uk/id/eprint/5624> <http://purl.org/dc/terms/subject> <https://discovery.ucl.ac.uk/id/subject/50000> .