6555 search results - page 67 / 1311 » Secure attribute-based systems |
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
CSREASAM
2010
13 years 6 months ago
2010
- Information breaches on ITC systems may result in lawsuits. Information security countermeasures such as firewalls, data encryption, and so on, are essential; protecting systems ...
WISA
2007
Springer
14 years 2 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...