2257 search results - page 147 / 452 » Secure program partitioning |
CSFW
2006
IEEE
15 years 6 months 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...
103
click to vote
CJ
2004
15 years 14 days ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
100
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
113
Voted
SPLST
2003
15 years 2 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
94
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...