This volume contains a selection of refereed papers from participants of the second aConstruction and Analysis of Safe, Secure and Interoperable Smart - vicesa (Cassis) workshop, held March 8-11, 2005 in Nice, France: http://www-sop.inria.fr/everest/events/cassis05 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.Our technique has been tested on a machine-checked correctness proof of a static analysis for a Java-like bytecode language. ... The technical concept underlying these techniques is that of parameterised concretization functions. Abstractanbsp;...
|Title||:||Construction and Analysis of Safe, Secure, and Interoperable Smart Devices|
|Publisher||:||Springer Science & Business Media - 2006-04-18|