6164 search results - page 333 / 1233 » Teaching Computer Security |
151
click to vote
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
184
click to vote
IEEEARES
2006
IEEE
16 years 24 days ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...
171
click to vote
IEEESP
2010
15 years 5 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
271
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...
194
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...