• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Enabling control over adaptive program transformation for dynamically evolving mobile software validation (0)

by M Jochen, A A Anteneh, L Pollock, L Marvel
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Software Engineering for Secure Systems

by Danilo Bruschi, Bart De Win, Mattia Monga
"... The SESS'05 held in St. Louis, MO on May 15-16 was intended to be a venue to discuss techniques for building and validating secure applications. Workshop attendees (about 40 people) came both from the software engineering and the security community, raising a fruitful discussion and exchange of idea ..."
Abstract - Add to MetaCart
The SESS'05 held in St. Louis, MO on May 15-16 was intended to be a venue to discuss techniques for building and validating secure applications. Workshop attendees (about 40 people) came both from the software engineering and the security community, raising a fruitful discussion and exchange of ideas and problem perspectives. Speaker presentations were organized in three sessions. The first session addressed security at the architectural level of applications. Demir et~al. [1] proposed an aspect oriented architectural description language to handle security features in distributed systems. Rits et~al. [2] described their approach for inspecting (in an aspect oriented fashion) access control policies in multi-layer applications. Banerjee et~al.[3] related trustworthiness of complex applications to their architectural parts: components, connectors, and configurations. Ren et~al.[4] suggested that
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University