This paper describes public-key protocols for binding software licenses to tamper-resistant smart cards, for transferring licenses between cards, and for purchasing them on-line. The protocols support software distribution both through retail stores and over the Internet. The user can transfer licenses from several cards onto a single card to avoid juggling between several cards in the reader. ...

Critical and private applications of smart and connected objects such as health-related objects are now common, thus raising the need to design these objects with strong security guarantees. Many recent works offer practical hardware-assisted security solutions that take advantage of a tight cooperation between hardware and software to provide system-level security guarantees. Formally and cons...

Cross-smart space applications are specific types of software services that enable users to share information, monitor the physical and logical surroundings and control it in a way that is meaningful for the user’s situation. For developing cross-smart space applications, this paper makes two main contributions: it introduces (i) a component design and scripting method for end-user progra...

Information and communication technologies (ICTs) have enabled the evolution of traditional electric power distribution networks towards a new paradigm referred to as the smart grid. However, the different elements that compose the ICT plane of a smart grid are usually conceived as isolated systems that typically result in rigid hardware architectures, which are hard to interoperate, manage and...

The design of smart homes, buildings and environments currently suffers from a low maturity of available methodologies and tools. Technologies, devices and protocols strongly bias the design process towards vertical integration, and more flexible solutions based on separation of design concerns are seldom applied. As a result, the current landscape of smart environments is mostly populated by d...

A Smart Building Controller (SBC) is a server software that offers secured access to a pool of building specific resources, executes monitoring tasks and performs automatic administration of a building, thus optimizing the exploitation cost and maximizing comfort. This paper brings to discussion the issues that arise with the secure exploitation of the SBC administered resources and proposes a ...

Due to drastic increase in e-commerce, there is need for real time implementation of light weight cryptographic algorithms to be used in low cost smart devices such as RFID tags, smart cards, wireless sensor network, PDA’s etc .Hummingbird is a latest ultra-lightweight cryptographic algorithm tailored for extreme resource constrained devices having limited bandwidth and processing capabilities....

What is a smart application component? The noun “component” implies that it is a software module or procedure that will be attached to or embedded in another, larger piece of software. Consequently, the component plays a supporting role and must conform to the environment in which it is embedded. The adjective “smart” implies that the component is able to perform some decision task, or particip...

German Smart Sensor Web (GSSW) is an experimental system for the German Federal Armed Forces. Its purpose is to provide a secure integration infrastructure for networked sensors. GSSW has a middleware based on ontologies and software agent technology. It uses a semantic representation of sensor data and other information in the area of intelligence, surveillance and reconnaissance (ISR) to feed...

Construction kits and development environments have dramatically reduced the time and expertise required for the development of physical interactive devices. The field of smart textiles, however, is relatively new and still lacks of established tools that support their development. In this dissertation, we introduce TangoHapps, a visual programming and simulation environment specifically design...