5475 search results - page 311 / 1095 » Model Driven Security |
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
200
click to vote
ESORICS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
198
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
194
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
167
click to vote
ICSOFT
2007
15 years 8 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...