Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

4.11 - 1251 ratings - Source

This volume contains a selection of refereed papers from participants of the second a€œConstruction and Analysis of Safe, Secure and Interoperable Smart - vicesa€ (Cassis) workshop, held March 8-11, 2005 in Nice, France: The workshop was organized by INRIA (Institut National de Recherche en Informatique et en Automatique), France. It was attended by over 70 part- ipants, who were invited for their contributions to relevant areas of computer science. Theaimofthe CASSIS workshopis to bring togetherexperts fromthe smart devices industry and academic researchers, in order to stimulate research on formal methods and security, and to encourage the smart device industry to adoptinnovativesolutionsdrawnfromacademicresearch.Inordertoaddressthe di?erent issues raised by the evolution of smart devices, the workshop consisted of seven thematic sessions: Session1:Researchtrendsinsmartdevices The session was organized by Jean-Jacques Vandewalle from Gemplus. It provided perspectives on possible evolutions of smart devices. The keynote speaker was Gilles Privat from France Telecom RaD. Session2:Webservices The session was organized by C I edric Fournet and Andy Gordon from - crosoft Research Cambridge. It focused on security issues for web services, including trust and identity management, and formal and automatic ve- ?cation of web services deployments. The session was followed by a panel discussiononsecurityofwebservices, chairedbyAndyGordon.Thekeynote speaker was C I edric Fournet. Session3:Virtualmachinetechnology This session was organized by Benjamin Gr I egoire. It covered new devel- mentsinJavatechnologyfordevelopinggeneric, adaptableandmaintainable platforms for smart devices. The keynote speaker was Sophia Drossopoulou from Imperial College London.A simple example of policy As an example, consider a rent-a-car scenario and suppose that a policy states that a€œan ... a sport car with a special price of 80 euro per day, if she is in Italy, she is more than 21 years old, and if the rent-a-car serviceanbsp;...

Title:Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Author:Gilles Barthe
Publisher:Springer Science & Business Media - 2006-04-18


You Must CONTINUE and create a free account to access unlimited downloads & streaming