3420 search results - page 89 / 684 » A Language-Based Approach to Security |
134
Voted
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...
137
Voted
COMSIS
2006
15 years 3 months ago
2006
Web applications security is one of the most daunting tasks today, because of security shift from lower levels of ISO OSI model to application level, and because of current situati...
137
Voted
ESEM
2009
ACM
15 years 10 months ago
2009
ACM
Although security inspections have proven to be a very efficient means for assuring software security early in the software development lifecycle, they are not used extensively be...
168
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
137
Voted
PROVSEC
2007
Springer
15 years 9 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...