40 search results - page 3 / 8 » Sound development of secure service-based systems |
EUROPKI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
ICECCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
ESORICS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
JMM2
2008
13 years 9 months ago
2008
Nowadays m-banking (mobile banking) is widely used in many banks. It has embarked upon supply of various services based on different systems and with the aid of various services su...