1679 search results - page 31 / 336 » Security Properties and CSP |
120
click to vote
PST
2008
15 years 3 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
114
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
129
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
116
click to vote
WISEC
2009
ACM
15 years 8 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
141
click to vote
EUROCRYPT
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...