434 search results - page 37 / 87 » Addressing IT Security for Critical Control Systems |
ICSE
2000
IEEE-ACM
14 years 15 days ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
SACMAT
2004
ACM
14 years 2 months ago
2004
ACM
Ubiquitous computing uses a variety of information for which access needs to be controlled. For instance, a person’s current location is a sensitive piece of information, which ...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Communications systems, encompassing VoIP, IM, and other personal media, present different challenges for P2P environments than other P2P applications. In particular, reliable com...
ACSD
2001
IEEE
14 years 18 days ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...