40 search results - page 2 / 8 » Sound development of secure service-based systems |
IEEECIT
2009
IEEE
14 years 4 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...