3482 search results - page 397 / 697 » Designing for security |
210
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
187
Voted
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
150
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Ethernet and IP form the basis of the vast majority of LAN installations. But these protocols do not provide comprehensive security mechanisms, and thus give way for a pl...
175
click to vote
CLEIEJ
1998
15 years 6 months ago
1998
Securing resources against unauthorized access and/or use is a major concern of every organization that uses computer networks. To protect internal networks from external attacks,...
182
click to vote
JCS
2002
15 years 6 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...