Sciweavers

130 search results - page 5 / 26
» Challenges and Future Directions of Software Technology: Sec...
Sort
View
116
Voted
COLCOM
2008
IEEE
15 years 10 months ago
The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments
The Data Interoperability Problem appears in contexts where consumers need to peruse data owned by producers, and the syntax and/or semantics of such data—at both end points—ar...
Arturo J. Sánchez-Ruíz, Karthikeyan ...
133
Voted
WIAS
2010
102views more  WIAS 2010»
15 years 1 months ago
Information security underlying transparent computing: Impacts, visions and challenges
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
Yaoxue Zhang, Laurence Tianruo Yang, Yuezhi Zhou, ...
114
Voted
WETICE
2006
IEEE
15 years 9 months ago
Security Verification Techniques Applied to PatchLink COTS Software
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
138
Voted
WETICE
2005
IEEE
15 years 9 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
ICCD
2002
IEEE
113views Hardware» more  ICCD 2002»
16 years 11 days ago
System-Architectures for Sensor Networks Issues, Alternatives, and Directions
Our goal is to identify the key architectural and design issues related to Sensor Networks (SNs), evaluate the proposed solutions, and to outline the most challenging research dir...
Jessica Feng, Farinaz Koushanfar, Miodrag Potkonja...