2687 search results - page 63 / 538 » Formal Analysis of PKCS |
163
Voted
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
90
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Let X and Y be finite alphabets and PXY a joint distribution over them, with PX and PY representing the marginals. For any > 0, the set of n-length sequences xn and yn that ar...
82
Voted
ICFCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
115
Voted
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
97
Voted
RAID
2004
Springer
15 years 6 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...