6164 search results - page 495 / 1233 » Teaching Computer Security |
190
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
168
click to vote
NDSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Enterprise networks today carry a range of mission critical communications. A successful worm attack within an enterprise network can be substantially more devastating to most com...
214
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...
192
click to vote
ICPP
2005
IEEE
16 years 19 days ago
2005
IEEE
As dynamic web content and security capabilities are becoming popular in current web sites, the performance demand on application servers that host the sites is increasing, leadin...
213
click to vote
SAC
2004
ACM
16 years 14 days ago
2004
ACM
Being E-commerce one of the most critical Internet application, it is fundamental to employ technologies which guarantee not only secure transactions but also an adequate quality ...