%0 Conference Paper %1 conf/dexa/Leiwo99 %A Leiwo, Jussipekka %B DEXA %D 1999 %E Bench-Capon, Trevor J. M. %E Soda, Giovanni %E Tjoa, A Min %I Springer %K dblp %P 416-425 %T A Mechanism for Deriving Specifications of Security Functions in the CC Framework. %U http://dblp.uni-trier.de/db/conf/dexa/dexa99.html#Leiwo99 %V 1677 %@ 3-540-66448-3

@inproceedings{conf/dexa/Leiwo99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Leiwo, Jussipekka}, biburl = {https://www.bibsonomy.org/bibtex/244ec8b2b47cbb50480bfef9b96f5b350/dblp}, booktitle = {DEXA}, crossref = {conf/dexa/1999}, editor = {Bench-Capon, Trevor J. M. and Soda, Giovanni and Tjoa, A Min}, ee = {https://doi.org/10.1007/3-540-48309-8_39}, interhash = {a1267b1ee8ec5813282368c40f807a81}, intrahash = {44ec8b2b47cbb50480bfef9b96f5b350}, isbn = {3-540-66448-3}, keywords = {dblp}, pages = {416-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:05:03.000+0200}, title = {A Mechanism for Deriving Specifications of Security Functions in the CC Framework.}, url = {http://dblp.uni-trier.de/db/conf/dexa/dexa99.html#Leiwo99}, volume = 1677, year = 1999 }