Etudes supérieures
Toutes les langues
Plus lus
Documents
A neutral approach to proof and refutation in MALL
Documents
Etudes supérieures
A neutral approach to proof and refutation in MALL
11 pages
English
Lire
Infos
Documents
A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller
Documents
Etudes supérieures
A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller
20 pages
English
Lire
Infos
Documents
UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING
Documents
Etudes supérieures
UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING
35 pages
English
Lire
Infos
Documents
Unification of Simply Typed Lambda Terms as Logic Programming
Documents
Etudes supérieures
Unification of Simply Typed Lambda Terms as Logic Programming
12 pages
English
Lire
Infos
Documents
CSL07 September
Documents
Encryption as an abstract data type
Documents
Light Logics for Polynomial Time Computations April 3th
Documents
Etudes supérieures
Light Logics for Polynomial Time Computations April 3th
58 pages
English
Lire
Infos
Documents
A Brief Survey of Imprinting Options for Constrained Devices
Documents
Etudes supérieures
A Brief Survey of Imprinting Options for Constrained Devices
4 pages
English
Lire
Infos
Documents
On Access Control in the Internet of Things
Documents
Access Tokens for the IoT Jens Matthias Bohli NEC Laboratories Europe eu Introduction The vision of the Internet of Things has been discussed for several years now and has already attracted attention beyond the research community Besides the widespread use of RFID chips the Internet of Things is also characterized by smart real world objects that report status of themselves or the environment detected by sensors Some objects also offer to change their status or the environment through actuators Communication and management platforms for smart objects are currently developed Privacy security and trust are an essential component in such a platform due to the sensitivity of personal data and the impact that decisions and actuations have on the real world This paper discusses access protection for smart objects The focus is on access tokens that support payment and access tokens for wireless sensor networks with unprotected sensor nodes The goal is to present specific requirements and point to initial solutions Access restrictions on the smart object are needed to prevent unauthorized access to the object to protect the data or actuation offered by the smart object or to prevent malicious access patterns that aim at exhausting limited resources in a DoS attack The SENSEI project considered two kinds of access restricted objects Objects that can only be accessed by a small restricted group and Objects that are in principle publicly available but require payment for access The assumed use case is a network of sensor equipped parking lots that allow the user to find a parking space remotely or reserve the parking space actuation Being able to offer payment for access to objects or wireless sensor network can also be an incentive to accelerate wide deployments of this technology Setting The involved parties are the owner of the object a framework provider where the object is registered and the users wishing to access the object Initially the object has a shared key with the framework provider Users have to receive ...
Documents
Etudes supérieures
Access Tokens for the IoT Jens Matthias Bohli NEC Laboratories Europe eu Introduction The vision of the Internet of Things has been discussed for several years now and has already attracted attention beyond the research community Besides the widespread use of RFID chips the Internet of Things is also characterized by smart real world objects that report status of themselves or the environment detected by sensors Some objects also offer to change their status or the environment through actuators Communication and management platforms for smart objects are currently developed Privacy security and trust are an essential component in such a platform due to the sensitivity of personal data and the impact that decisions and actuations have on the real world This paper discusses access protection for smart objects The focus is on access tokens that support payment and access tokens for wireless sensor networks with unprotected sensor nodes The goal is to present specific requirements and point to initial solutions Access restrictions on the smart object are needed to prevent unauthorized access to the object to protect the data or actuation offered by the smart object or to prevent malicious access patterns that aim at exhausting limited resources in a DoS attack The SENSEI project considered two kinds of access restricted objects Objects that can only be accessed by a small restricted group and Objects that are in principle publicly available but require payment for access The assumed use case is a network of sensor equipped parking lots that allow the user to find a parking space remotely or reserve the parking space actuation Being able to offer payment for access to objects or wireless sensor network can also be an incentive to accelerate wide deployments of this technology Setting The involved parties are the owner of the object a framework provider where the object is registered and the users wishing to access the object Initially the object has a shared key with the framework provider Users have to receive ...
3 pages
English
Lire
Infos
Documents
Un trusted Intermediaries in CoAP
Documents
A System of Interaction and Structure IV: The Exponentials and Decomposition
Documents
Etudes supérieures
A System of Interaction and Structure IV: The Exponentials and Decomposition
43 pages
English
Lire
Infos
Documents
April final version for proceedings of CiE'10
Documents
Etudes supérieures
April final version for proceedings of CiE'10
10 pages
English
Lire
Infos
Documents
ANon commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger
Documents
Etudes supérieures
ANon commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger
16 pages
English
Lire
Infos
Documents
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Documents
Etudes supérieures
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
15 pages
English
Lire
Infos
Documents
January Submitted pages paper pages appendix
Documents
Etudes supérieures
January Submitted pages paper pages appendix
39 pages
English
Lire
Infos
Documents
May To be presented at HyLo'07 Part of ESSLLI
Documents
Etudes supérieures
May To be presented at HyLo'07 Part of ESSLLI
10 pages
English
Lire
Infos
Documents
Under consideration for publication in Math Struct in Comp Science
Documents
Etudes supérieures
Under consideration for publication in Math Struct in Comp Science
21 pages
English
Lire
Infos
Documents
March This is an expanded version of the LICS'05 submission Mistakes have been corrected and the relative emphasis of axioms has changed but the claims are strictly identical
Documents
Etudes supérieures
March This is an expanded version of the LICS'05 submission Mistakes have been corrected and the relative emphasis of axioms has changed but the claims are strictly identical
17 pages
English
Lire
Infos
Documents
June Lecture notes for ESSLLI'06 Malaga Spain
Documents
Etudes supérieures
June Lecture notes for ESSLLI'06 Malaga Spain
96 pages
English
Lire
Infos
Documents
Supervisory Control for Modal Specifications of Services
Documents
Etudes supérieures
Supervisory Control for Modal Specifications of Services
8 pages
English
Lire
Infos
Documents
P U B L I C A T I O N I N T E R N E No
Documents
Statistical Region Merging Richard Nock and Frank Nielsen
Documents
Etudes supérieures
Statistical Region Merging Richard Nock and Frank Nielsen
7 pages
English
Lire
Infos
Documents
Marie Albenque Eric Fusy and Dominique Poulalhon
Documents
Etudes supérieures
Marie Albenque Eric Fusy and Dominique Poulalhon
8 pages
English
Lire
Infos
Documents
Optimal Coding and Sampling of Triangulations
Documents
Etudes supérieures
Optimal Coding and Sampling of Triangulations
12 pages
English
Lire
Infos
Documents
Planar Graphs via Well Orderly Maps and Trees
Documents
Etudes supérieures
Planar Graphs via Well Orderly Maps and Trees
19 pages
English
Lire
Infos
Documents
Marie Albenque Eric Fusy and Dominique Poulalhon
Documents
Etudes supérieures
Marie Albenque Eric Fusy and Dominique Poulalhon
8 pages
English
Lire
Infos
Documents
Dynamic programming for graphs on surfaces
Documents
Metastability for Ginzburg Landau type
Documents
Jam8 soumis a Topics on the Interface between Harmonic Analysis and Number Theory T Erdelyi B Saffari G Tenenbaum Eds
Documents
Etudes supérieures
Jam8 soumis a Topics on the Interface between Harmonic Analysis and Number Theory T Erdelyi B Saffari G Tenenbaum Eds
17 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
