4511 search results - page 201 / 903 » Observation Based System Security |
179
click to vote
MSCS
2008
15 years 6 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
174
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
226
click to vote
AP2PC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent platforms designed for Internet-scale, open networks need scalable and secure location services for agents and services. The location service based on the Fonkey pu...
164
click to vote
WORDS
2005
IEEE
16 years 4 days ago
2005
IEEE
The main functionality of the Domain Name System (DNS) is to translate symbolic names into IP addresses. Due to the criticality of DNS for the proper functioning of the Internet, ...
155
click to vote
HICSS
2006
IEEE
16 years 18 days ago
2006
IEEE
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...