596 search results - page 88 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
178
click to vote
TKDE
2008
15 years 5 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
142
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
In a proxy re-encryption (PRE) scheme [4], a proxy, authorized by Alice, transforms messages encrypted under Alice's public key into encryptions under Bob's public key w...
147
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
143
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
193
click to vote
ELPUB
2008
ACM
15 years 7 months ago
2008
ACM
Being subscribed to a newspaper, readers expect some basic things: receiving their paper in their mailbox early in the morning, being able to read it privately when and where they...