2213 search results - page 114 / 443 » Software Security |
159
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Firewalls provide very good network security features. However, classical perimeter firewall deployments suffer from limitations due to complex network topologies and the inabilit...
132
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
112
Voted
CLEIEJ
2007
15 years 3 months ago
2007
: Several business areas, like Management and Negotiation, have used games like a didactic way to simulate world reality, to introduce students to the day-to-day generated problems...
164
click to vote
EUROSYS
2008
ACM
16 years 13 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
149
click to vote
AC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...