4693 search results - page 448 / 939 » Verifying Hybrid Systems |
226
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
241
click to vote
CBSE
2011
Springer
14 years 7 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
179
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
187
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper analyzes the performance of a system architecture for the Authentication, Authorization, and Accounting (AAA), in a scenario where 3G users generate traffic and invo...
225
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
A widely used approach to avoid network intrusion is SNORT, an open source Network Intrusion Detection System (NIDS). This work describes SPP-NIDS, a architecture for intrusion de...