ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
In order to determine a success criterion for open-source software projects, we analyzed 122,205 projects in the SourceForge database. There were 80,597 projects with no downloads...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
ASWEC
2006
IEEE
14 years 6 months ago
2006
IEEE